The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103) - Hardcover

Barendregt, H.P.

 
9780444867483: The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)
Hardcover
ISBN 10: 0444867481 ISBN 13: 9780444867483
Verlag: North-Holland, 1984

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.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
North-Holland
Erscheinungsdatum
1984
Sprache
Englisch
ISBN 10 
0444867481
ISBN 13 
9780444867483
Einband
Tapa dura
Anzahl der Seiten
654
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar