Home » Authors » Morten Heine B. Sorensen, Pawel Urzyczyn

Morten Heine B. Sorensen, Pawel Urzyczyn

Public reference bibliography and cataloged PDF materials authored or published by Morten Heine B. Sorensen, Pawel Urzyczyn.

Found 1 document(s) Page 1 of 1

Lectures on the Curry-Howard Isomorphism

Year: 2006 • ISBN: 0444520775 • Source: freecomputerbooks.com • Listed PDF

This book gives 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 intuition...