Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus > Formulae-as-Types Correspondence
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.246
Notes on the Curry-Howard correspondence by Chantal Berline.
Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus > Formulae-as-Types Correspondence
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us