Title: Tutorial on Curry-Howard Part II
Abstract: 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.
Powered by UCalgary
The views, information, or opinions expressed on this site are solely those of the individual(s) involved and do not necessarily represent the position of the University of Calgary as an institution.
Digital Privacy Statement | Privacy Policy | Copyright © 2019