01408nam a2200313 i 4500991003277399707536cr cn|||||||||080616s2006 ne a sb 001 0 eng d97804445207770444520775b1365956x-39ule_instDip.to Matematicaeng511.32622Sørensen, Morten Heine433380Lectures on the Curry-Howard isomorphism[e-book] /Morten Heine Sørensen, Paweł UrzyczynAmsterdam ;Boston :Elsevier,2006xiv, 442 p. :ill. ;24 cmStudies in logic and the foundations of mathematics,0049-237X ;149Includes bibliographical references (p. 403-430) and indexCurry-Howard isomorphismLambda calculusUrzyczyn, Pawełauthorhttp://id.loc.gov/vocabulary/relators/aut318886ScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=149An electronic book accessible through the World Wide Web; click for informationPublisher descriptionhttp://catdir.loc.gov/catdir/enhancements/fy0661/2006048390-d.html.b1365956x03-03-2229-01-08991003277399707536Lectures on the Curry-Howard isomorphism728350UNISALENTOle01329-01-08m@ -engne 00