Lambda calculus with types [E-Book] / Henk Barendregt, Wil Dekkers, Richard Statman.
Barendregt, Henk.
Dekkers, Wil. / Statman, Richard.
Cambridge, England : Cambridge University Press ; c2013
Association for Symbolic Logic,
1 online resource (xxii, 833 pages).
englisch
9780521766142
9781107273818
Perspectives in logic
Full Text
Description not available.