The lambda calculus : its syntax and semantics /

Bibliographic Details

Main Author:	Barendregt, H. P. (Hendrik Pieter)
Format:	Book
Language:	English
Published:	Amsterdam ; New York, N.Y. : North-Holland Pub. Co. ; 1981.
Series:	Studies in logic and the foundations of mathematics ; v. 103.
Subjects:	Lambda calculus.