Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.
Autor: H.P. Barendregt
ISBN-13: 9780080933757
Einband: PDF
Seiten: 654
Sprache: Englisch
eBook Typ: PDF
eBook Format: PDF
Kopierschutz: Adobe DRM [Hard-DRM]
Systemvoraussetzungen
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

Lambda Calculus

Studies in Logic and the Foundations of Mathematics
Its Syntax and Semantics
Geben Sie Ihre Bewertung ab!  
Wir verlosen jeden Monat unter allen freigegebenen Rezensionen
3 Gutscheine im Wert von 20 Euro. Teilnahmebedingungen
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.
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.

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

 

Rezensionen

Autor: H.P. Barendregt
ISBN-13 :: 9780080933757
ISBN: 0080933750
Verlag: Elsevier Science
Seiten: 654
Sprache: Englisch
Sonstiges: Ebook, Maximale Downloadanzahl: 6