Sørensen, Morten Heine
Lectures on the curry-Howard isomorphism
Morten Heine Sørensen, Paweł Urzyczyn
- 1st ed
- Amsterdam Elsevier c2006
- xiv, 442 p
Includes bibliographical references and index
9780444520777
2006048390
Curry-Howard isomorphism
Lambda calculus
Proof theory
511.326 SOR