Sorensen, Morten Heine. <br/><br/>
Lectures on the Curry-Howard isomorphism / 
Morten Heine Sorensen and Pawe Urzyczyn. 
 - Boston :  Elsevier,  2006. 
 - xiv, 442 p. :  illustrations ;  25 cm. 
 - Studies in logic and the foundations of mathematics,  vol. 149 .
<br/><br/><label>ISBN: </label>9780444520777 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Curry-Howard isomorphism.<br/>Lambda calculus.<br/>Proof theory.
<br/><br/><label>Dewey Class. No.: </label>511.326 SOR