The lambda calculus : its syntax and semantics /

Bibliographic Details

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