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:
Search Result 2
Book