UCalgary Peripatetic Seminar: Richard Zach

  • Date: 10/18/2023
  • Time: 11:00
Lecturer(s):
Richard Zach, University of Calgary
Location: 

University of Calgary

Topic: 

Tutorial on Curry-Howard

Description: 

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.

Other Information: 

Location: ICT 616

Time: 11am Mountain/ 10am Pacific