Lambda calculus with types
by Barendregt, H. P., (Hendrik Pieter)
"This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. ... In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. ... The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using …
Read More ↓Title Statements
- Full title :Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others].
Summary
"This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. ... In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. ... The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types."--Page 4 of cover.
Read More ↓Edition Statements
- Publication Date:2013.
Publication Statements
- Publisher(s):Cambridge University Press
- Place of Publication:Cambridge, UK
- Language:eng
- Publication Date:2013.
Notes
"Association for Symbolic Logic."
The Physical Object
- Description:xxii, 833 pages : : illustrations ; : 26 cm.
Edition Identifiers
- ISBN:9780521766142, 0521766141
- oclc:ocn852197712
- LC Classification:QA9.5
- Dewey Decimal:511.35
Table of Contents
Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Term rewriting and applications: 16th international conference, RTA 2005…
International Conference on Term Rewriting and Applications
Files & Downloads
-
Lambda Calculus with Types -- (.pdf)
PDF · 4.4 MB · updated
Rate & Review