San Mateo, CAUSA
Hometown: Foster City
March 17, 2013
Basic familiarity, coming more from a type-theoretic and proof-theoretic perspective.
Did some work on designing a security-typed PL.
Hey! My name is Avijit. I am interested in category/type theory and mathematical logic, and would like to meet people with similar interests.