Back to Results
First PageMeta Content



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

Document Date: 2003-08-18 10:30:23


Open Document

File Size: 115,84 KB

Share Result on Facebook
UPDATE