Lambda calculus with types / Henk Barendregt, Radboud University, Nijmegen, Wil Dekkers, Radboud University, Nijmegen, Richard Statman, Carnegie Mellon University.
By: Barendregt, H. P. (Hendrik Pieter).
Contributor(s): Dekkers, Wil | Statman, Richard.
Material type: TextSeries: Perspectives in logic: Publisher: Cambridge ; New York : Cambridge University Press, 2013Description: xxii, 833 pages ; UKP 60.00 26 cm.ISBN: 0521766141 (cloth); 9780521766142 (cloth).Subject(s): Lambda calculusDDC classification: 511.35Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 511.35 BAR (Browse shelf) | Available | 9344 |
Total holds: 0
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
511.35 AAR Quantum computing since Democritus / | 511.35 APT Lectures in game theory for computer scientists / | 511.35 APT Lectures in game theory for computer scientists / | 511.35 BAR Lambda calculus with types / | 511.35 DSO Modern applications of automata theory / | 511.35 HOP Introduction to automata theory, languages, and computation / | 511.35 NED Type theory and formal proof : an introduction / |
"Association for Symbolic Logic."
Includes bibliographical references (pages 791-813) and index.