Lambda calculus with types
Title:
Lambda calculus with types
Author:
Barendregt, Henk.
Personal Author:
Publication Information:
Cambridge, England : Cambridge University Press ; Ithaca, N.Y. : Association for Symbolic Logic, c2013.
Physical Description:
1 online resource (xxii, 833 p.).
Series:
Perspectives in logic
Series Title:
Perspectives in logic
Subject Term:
Genre:
Added Corporate Author:
Electronic Access:
Click to View