Welcome to E-Books Directory
This is a freely downloadable e-book.

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism
by Morten Heine B. Sorensen, Pawel Urzyczyn

Publisher: Elsevier Science 2006
ISBN/ASIN: 0444520775
Number of pages: 273

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

Download or read it online here:

Download link

 (1.3MB, PDF)