Hello and welcome to my page. See my gitpages for my work.
kripkesbeard Goto Github PK
Name: Peter Fortin
Type: User
Bio: My main interests are in the connections between mathematical logic, type theory, category theory, programming language theory, and linguistics. Also Compilers.
Location: D.C.