KripkesBeard

My main interests are in the connections between mathematical logic, type theory, category theory, programming language theory, and linguistics. Also Compilers.

Location:D.C.

Pinned Repositories

KripkesBeard's Repositories