Richard Zach

Title: Tutorial on Curry-Howard

Abstract: I will provide a (very basic) tutorial on the Curry-Howard correspondence between proofs (in natural deduction) and terms in the typed $\lambda$-calculus. No prior knowledge of either will be presupposed.