KripkesBeard

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

D.C.