Web Directory

  Top: Science: Math: Logic_and_Foundations: Computational_Logic: Combinatory_Logic_and_Lambda_Calculus: Formulae-as-Types_Correspondence:

  Formulae-as-Types Correspondence (14)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Nomoz Sub Categories

Regular Websites in this category

A presentation of the Curry-Howard Correspondence (1997) Open in a new windowLink Details
- Notes on the Curry-Howard correspondence by Chantal Berline.
- http://citeseer.ist.psu.edu/berline97presentation.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]