Lambda Calculus with Types

Author/Creator
Barendregt, Henk.
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