Lectures on the Curry-Howard isomorphism /
Sørensen, Morten Heine.
Urzyczyn, Paweł.
Amsterdam ; London : Elsevier,
2006.
Includes bibliographical references (p. 403-430) and index.
Curry-Howard isomorphism.
Lambda calculus.
Proof theory.