An edition of Lectures on the Curry-Howard isomorphism
(2006)
Lectures on the Curry-Howard isomorphism
1st ed.
by Morten Heine Sørensen
- 1 Want to read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Curry-Howard isomorphism, Lambda calculus, Proof theoryShowing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Lectures on the Curry-Howard Isomorphism
2006, Elsevier Science & Technology Books
in English
0080478921 9780080478920
|
zzzz
Libraries near you:
WorldCat
|
2
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
September 14, 2006, Elsevier Science
in English
0444520775 9780444520777
|
zzzz
Libraries near you:
WorldCat
|
3
Lectures on the Curry-Howard isomorphism
2006, Elsevier
in English
- 1st ed.
0444520775 9780444520777
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Source records
University of Toronto MARC recordLibrary of Congress MARC record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
harvard_bibliographic_metadata record
Community Reviews (0)
Feedback?
| July 5, 2019 | Edited by MARC Bot | import existing book |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |