Lectures on the Curry-Howard isomorphism
By: Morten Heine Sørensen, Paweł Urzyczyn.
Contributors: Urzyczyn, Paweł.
Edition: 1st ed.
Series: Studies in logic and the foundations of mathematics -- v. 149
Publisher: Elsevier
Published: 2006
Place of publication: Boston, MA
Language: eng
Number of pages: 442
ISBN-13: 9780444520777
Subjects: Curry-Howard isomorphism; Lambda calculus; Proof theory
Notes: Includes bibliographical references and index.