<--- Back to Details
First PageDocument Content
Date: 2003-08-18 10:30:23

Variable-free Formalization of the Curry-Howard Theory W. W. Tait The reduction of the lambda calculus to the theory of combinators in [Sch¨onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lam

Add to Reading List

Source URL: home.uchicago.edu

Download Document from Source Website

File Size: 115,84 KB

Share Document on Facebook

Similar Documents