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:
Description
Item Description:Includes indexes.
Physical Description:xv, 621 pages : illustrations
Bibliography:Bibliography: pages 585-598.
ISBN:0444875085