Henk Barendregt: Lambda Calculus with Types

Cover: 9780521766142 | Lambda Calculus with Types | Richard Statman | Buch | Englisch | 2014

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

76,90 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

Über den Autor

Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.

Inhaltsverzeichnis

List of contributors; Preface; Introduction; Part I. Simple Types: 1. The simply typed lambda calculus; 2. Properties; 3. Tools; 4. Definability, unification and matching; 5. Extensions; 6. Applications; Part II. Recursive Types: 7. The systems; 8. Properties of recursive types; 9. Properties of terms with types; 10. Models; 11. Applications; Part III. Intersection Types: 12. An exemplary system; 13. Type assignment systems; 14. Basic properties; 15. Type and lambda structures; 16. Filter models; 17. Advanced properties and applications; Bibliography; Symbol index; Names index; Definitions index.

Details

Erscheinungsjahr:	2014
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	Gebunden
ISBN-13:	9780521766142
ISBN-10:	0521766141
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Barendregt, Henk Dekkers, Wil Statman, Richard
Hersteller:	Cambridge University Press
Maße:	250 x 175 x 50 mm
Von/Mit:	Henk Barendregt (u. a.)
Erscheinungsdatum:	11.06.2014
Gewicht:	1,629 kg

Artikel-ID: 107084489

Über den Autor

Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2014
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	Gebunden
ISBN-13:	9780521766142
ISBN-10:	0521766141
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Barendregt, Henk Dekkers, Wil Statman, Richard
Hersteller:	Cambridge University Press
Maße:	250 x 175 x 50 mm
Von/Mit:	Henk Barendregt (u. a.)
Erscheinungsdatum:	11.06.2014
Gewicht:	1,629 kg