First Page | Document 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 lamAdd to Reading ListSource URL: home.uchicago.eduDownload Document from Source WebsiteFile Size: 115,84 KBShare Document on Facebook |