FrontPage FindPage TitleIndex RecentChanges UserPreferences E D R S I H C
 
Curry Howard Isomorphism
what-are-etihad-airlines-like-398 › WikiNature › CategoryPhotoGallery › BdbPlusPlus › InterWikiIcons › CurryHowardIsomorphism
Isomorphism between logic and typed lambda calculus.

Propositions : Proofs = Types : Terms


[edit]

Link

last modified 2009-03-09 12:46:40
EditTextFindPageDeletePageLikePages