Welcome to the PC Owl Web Directory.
PC Owl Web Directory

HOME & FURNISHINGS

KIDS & TEENS

SOCIETY

SCIENCE

ADD URL

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




Classical Logic | Proofs as Processes

A presentation of the Curry-Howard Correspondence (1997)
Notes on the Curry-Howard correspondence by Chantal Berline.



Earth Sciences | Software | Educational Resources | Chemistry | Directories | Employment | Instruments and Supplies | Science in Society | Technology | Publications | Conferences | News | Reference | Astronomy | Anomalies and Alternative Science | Biology | Agriculture | Methods and Techniques | Social Sciences | Math | Institutions | Physics | Environment | Search Engines | Chats and Forums
Monitors and Dosimeters | Larix lyallii | M | Consultants | Middle East | Eucalyptus saligna | People | Ctenanthe | Field Camps | Academia | Germany | Education | Chinook Based | Articles and Studies | Middle East | Courses | V | Landslides | Herpetology | Pteropodidae | Emelianthe | Moquiniella | Europe | Bowiea | Ochnaceae | Cosmos-1 | Vietnam | Flagellariaceae | Lesson Plans | Lycogala | Phytophthora | Archaeologists | Veronica | Products and Services | Anser | Mitriostigma | Seed Savers | Pedalium | X-ray and Gamma-ray | 2003 | Spanish | Consultants | Neomarica | Experimental Laboratories | Rumex | Ephedra | Burchellia | Akers, Tom | Publications | Publications
<


Submit URL - Add your Website

Web Directory       Home & Furnishings       Kids & Teens       Society      Science      Add URL

© 2004 PC Owl Web Directory