The lambda calculus :
Barendregt, H. P.
The lambda calculus : its syntax and semantics / H.P. Barendregt. - Amsterdam ; North-Holland Pub., 1981. - xiv, 615 p. :
Includes indexes.
0444854908
Lambda calculus.
511.3 / La
The lambda calculus : its syntax and semantics / H.P. Barendregt. - Amsterdam ; North-Holland Pub., 1981. - xiv, 615 p. :
Includes indexes.
0444854908
Lambda calculus.
511.3 / La