Lambda Calculus with Types

Responsibility
Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi ... [et al.].
Language
English.
Publication
Cambridge : Cambridge University Press, 2013.
Physical description
xxii, 833 pages : ill. ; 26 cm.
Series
Perspectives in logic.

Browse related items

Start at call number:
Librarian view | Catkey: 10221108