Breadcrumb Events / Past Events / UCalgary Peripatetic Seminar: Richard Zach Date Wed, 11/29/2023 - 11:00 - Wed, 11/29/2023 - 12:00 Topic Tutorial on Curry-Howard Part II Speakers Richard Zach University of Calgary Details 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. Jump to Event Details This is a Past Event Event Type Scientific, Seminar Date November 29, 2023 Time 11:00am - 12:00pm Location University of Calgary ICT 616