Loading…

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
Call Number:Libro Electrónico
Main Author: Barendregt, H. P. (Hendrik Pieter)
Format: Electronic eBook
Language:Inglés
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:
Online Access:Texto completo
Texto completo