Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn.
2006
QA9.54 .S67 2006eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn.
Author
Edition
1st ed.
ISBN
0444520775
9780444520777
9780444520777
Publication Details
Amsterdam ; Boston [MA] : Elsevier, 2006.
Language
English
Description
xiv, 442 p. : ill.
Call Number
QA9.54 .S67 2006eb
Dewey Decimal Classification
511.3/26
Bibliography, etc. Note
Includes bibliographical references (p. 403-430) and index.
Access Note
Access limited to authorized users.
Added Author
Series
Studies in logic and the foundations of mathematics ; v. 149.
Linked Resources
Record Appears in