Search for
Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus >

Formulae-as-Types_Correspondence
New! Submit a site
 
Categories:
Classical Logic (9) Proofs as Processes (5)
 
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
A presentation of the Curry-Howard Correspondence (1997) - 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  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek