Lectures on the Curry-Howard isomorphism
by
 
Sørensen, Morten Heine.

Title
: 
Lectures on the Curry-Howard isomorphism

Author
: 
Sørensen, Morten Heine.

ISBN
: 
9780444520777
 
9780080478920

Edition
: 
1st ed.

Publication Information
: 
Amsterdam ; Boston [MA] : Elsevier, 2006.

Physical Description
: 
1 online resource (xiv, 442 p.) : ill.

Series
: 
Studies in logic and the foundations of mathematics, v. 149

Series Title
: 
Studies in logic and the foundations of mathematics, 0049-237X ; v. 149

Subject Term
: 
Curry-Howard isomorphism.
 
Lambda calculus.
 
Proof theory.

Added Author
: 
Urzyczyn, Paweł.

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book256636-1001ONLINEElektronik Kütüphane