Sørensen, Morten Heine, <br/><br/>
Lectures on the Curry-Howard isomorphism / 
Morten Heine Sørensen, Pawe Urzyczyn 
 - 442 páginas 
 - Studies in logic and the foundations of mathematics,  v. 149  0049-237X ; .
<br/><br/><label>ISBN: </label>9780444520777 0444520775 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Isomorfismo de Curry-Howard<br/>Cálculo lambda<br/>Teoría de la demostración
<br/><br/><label>LC Class. No.: </label>QA9.54  / S67 
<br/><br/><label>Dewey Class. No.: </label>511.3/26