Web Directory

    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)

  Link Details for: A presentation of the Curry-Howard Correspondence (1997)
Link Title: A presentation of the Curry-Howard Correspondence (1997) Open in a new window
Link URL: http://citeseer.ist.psu.edu/berline97presentation.html
Link Details: Notes on the Curry-Howard correspondence by Chantal Berline.
Category: Top : Science : Math : Logic_and_Foundations : Computational_Logic : Combinatory_Logic_and_Lambda_Calculus : Formulae-as-Types_Correspondence
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
A presentation of the Curry-Howard Correspondence (1997)