Logic

Research Frontiers in Curry-Howard Correspondence and Proofs as Programs

Explores isomorphism between logical proofs and typed programs connecting mathematical logic with programming language theory.

All Logic PhD categories