Formulae-as-Types Correspondence Combinatory Logic and Lambda Calculus Computational Logic Logic and Foundations
Top: Science: Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus
Formulae-as-Types Correspondence
- A presentation of the Curry-Howard Correspondence (1997) - Notes on the Curry-Howard correspondence by Chantal Berline.
MySQL - Cache Direct
![Follow IAS Directory on Twitter Twitter](/images/50x50xtwitter-icon.png.pagespeed.ic.hqBofe3Scj.png)