Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Show other versions (1)
Saved in:
Bibliographic Details
Main Author: Sørensen, Morten Heine
Corporate Author: ebrary, Inc
Other Authors: Urzyczyn, Paweł
Format: Electronic eBook
Language:English
Published: Amsterdam ; Boston [MA] : Elsevier, 2006.
Edition:1st ed.
Series:Studies in logic and the foundations of mathematics ; v. 149.
Subjects:
Curry-Howard isomorphism.
Lambda calculus.
Proof theory.
Electronic books.
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000Ia 4500
001 0000093723
005 20171002054818.0
006 m u
007 cr cn|||||||||
008 060607s2006 ne a sb 001 0 eng d
010 |z  2006048390 
020 |z 0444520775 
020 |z 9780444520777 
035 |a (CaPaEBR)ebr10185917 
035 |a (OCoLC)162586983 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a QA9.54  |b .S67 2006eb 
082 0 4 |a 511.3/26  |2 22 
100 1 |a Sørensen, Morten Heine. 
245 1 0 |a Lectures on the Curry-Howard isomorphism  |h [electronic resource] /  |c Morten Heine Sørensen, 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.  |b Palo Alto, Calif. :  |c ebrary,  |d 2011.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Curry-Howard isomorphism. 
650 0 |a Lambda calculus. 
650 0 |a Proof theory. 
655 7 |a Electronic books.  |2 local 
700 1 |a Urzyczyn, Paweł. 
710 2 |a ebrary, Inc. 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 149. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10185917  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 82878  |d 82878 

Similar Items