Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism / Morten Heine Srensen, Pawe Urzyczyn.

Saved in:
Bibliographic Details
Superior document:Studies in logic and the foundations of mathematics, v. 149
:
ProQuest (Firm)
Srensen, Morten Heine.
TeilnehmendeR:
Urzyczyn, Pawe.
ProQuest (Firm)
Year of Publication:2006
Edition:1st ed.
Language:English
Series:Studies in logic and the foundations of mathematics ; v. 149.
Online Access:
Physical Description:xiv, 442 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01559nam a2200421Ia 4500
001 500294228
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 060607s2006 ne a sb 001 0 eng d
010 |z  2006048390 
020 |z 0444520775 
020 |z 9780444520777 
035 |a (MiAaPQ)500294228 
035 |a (Au-PeEL)EBL294228 
035 |a (CaPaEBR)ebr10185917 
035 |a (CaONFJC)MIL105105 
035 |a (OCoLC)469589380 
040 |a MiAaPQ  |c MiAaPQ  |d MiAaPQ 
050 4 |a QA9.54  |b .S67 2006 
082 0 4 |a 511.3/26  |2 22 
100 1 |a Srensen, Morten Heine. 
245 1 0 |a Lectures on the Curry-Howard isomorphism  |h [electronic resource] /  |c Morten Heine Srensen, Pawe Urzyczyn. 
250 |a 1st ed. 
260 |a Amsterdam ;  |a Boston [MA] :  |b Elsevier,  |c 2006. 
300 |a xiv, 442 p. :  |b ill. 
490 1 |a Studies in logic and the foundations of mathematics,  |x 0049-237X ;  |v v. 149 
504 |a Includes bibliographical references (p. 403-430) and index. 
533 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Curry-Howard isomorphism. 
650 0 |a Lambda calculus. 
650 0 |a Proof theory. 
655 4 |a Electronic books. 
700 1 |a Urzyczyn, Pawe. 
710 2 |a ProQuest (Firm) 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 149. 
856 4 0 |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=294228  |z Click to View 

Similar Items