The lambda calculus. Its syntax and semantics. (Studies in logic and the foundations of mathematics, vol.103) - Softcover

Hendrik Pieter Barendregt

 
9780444875082: The lambda calculus. Its syntax and semantics. (Studies in logic and the foundations of mathematics, vol.103)

Inhaltsangabe

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 theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780444854902: Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

Vorgestellte Ausgabe

ISBN 10:  0444854908 ISBN 13:  9780444854902
Verlag: Elsevier Science Ltd, 1981
Hardcover