The Lambda Calculus, Its Syntax and Semantics. Volume 103 (1981)

by H Barendregt
Venue:of Studies in Logics and the Foundations of Mathematics. North