![](https://www.pdfsearch.io/img/3eb38529e5c4059e0dff4ede5483e467.jpg) 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 Website File Size: 115,84 KBShare Document on Facebook
|