Lectures on the Curry-Howard isomorphism /

Bibliographic Details

Main Author:	Sørensen, Morten Heine
Other Authors:	Urzyczyn, Paweł
Format:	Book
Language:	English
Published:	Amsterdam ; Boston [Mass.] : Elsevier, 2006.
Edition:	1st ed.
Series:	Studies in logic and the foundations of mathematics. v. 149.
Subjects:	Curry-Howard isomorphism. Lambda calculus. Proof theory.
Online Access:	Publisher description