The lambda calculus : its syntax and semantics /

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general...

Full description

Bibliographic Details

Main Author:	Barendregt, H. P. (Hendrik Pieter)
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Edition:	Rev. ed.
Series:	Studies in logic and the foundations of mathematics ; v. 103.
Subjects:	Lambda calculus. Lambda-calcul. MATHEMATICS > Infinity. MATHEMATICS > Logic. Lambda calculus Lambda-Kalkül Lambda-calculus. Logica Matematica. Electronic books.
Online Access:	Connect to the full text of this electronic book