Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
Home
/
Science
/
Math
/
Logic and Foundations
/
Computational Logic
/
Combinatory Logic and Lambda Calculus
/ Formulae-as-Types Correspondence
Categories
Classical_Logic
(9)
Proofs_as_Processes
(5)
Web Sites
A presentation of the Curry-Howard Correspondence (1997)
-
Notes on the Curry-Howard correspondence by Chantal Berline.
citeseer.nj.nec.com/did/246485
1995-2015 © Stunning, Inc.
