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
"Association for Symbolic Logic."
Includes bibliographical references (pages 791-813) and index.