I am a PhD candidate of Mathematics at Dalhousie University. I work under the supervision of Prof. Peter Selinger. You can contact me by bian@dal.ca . For more information, here is my CV .
Mathematical logic, category theory, and their applications to theoretical computer science.
Opened on: 08/15/2015. Last edited on: 08/23/2019 |