UCalgary Peripatetic Seminar: Richard Zach

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