Lambda calculus with types [electronic resource] Henk Barendregt, Wil Dekkers, Richard Statman.
2013
QA9.5 .B37 2013
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Lambda calculus with types [electronic resource] Henk Barendregt, Wil Dekkers, Richard Statman.
Author
ISBN
9780521766142
9781107273818 (electronic book)
9781107273818 (electronic book)
Publication Details
Cambridge, England : Cambridge University Press ; Ithaca, N.Y. : Association for Symbolic Logic, c2013.
Language
English
Description
1 online resource (xxii, 833 p.).
Call Number
QA9.5 .B37 2013
Dewey Decimal Classification
511.3
Bibliography, etc. Note
Includes bibliographical references and indexes.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from title page (viewed August 14, 2013).
Added Author
Series
Perspectives in logic
Linked Resources
Record Appears in