Directory Help Search only in Formulae-as-Types CorrespondenceSearch the Web

Formulae-as-Types Correspondence

Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus > Formulae-as-Types Correspondence

Go to Directory Home

Categories

Classical Logic (9) Proofs as Processes (4)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

A presentation of the Curry-Howard Correspondence (1997) - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.246 Notes on the Curry-Howard correspondence by Chantal Berline.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...