Zur Startseite gehen
0,00 €*
Cover: 9780521114295 | Lambda-Calculus, Combinators and Functional Programming | G. E. Revesz
Dekorationsartikel gehören nicht zum Leistungsumfang.
Lambda-Calculus, Combinators and Functional Programming
Taschenbuch von G. E. Revesz
Sprache: Englisch

68,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Provides computer science students and researchers with a firm background in lambda-calculus and combinators.
Provides computer science students and researchers with a firm background in lambda-calculus and combinators.
Inhaltsverzeichnis
Preface; 1. Introduction; 2. Type-free lambda-calculus; 3. Combinators and constant symbols; 4. List manipulation in lambda-calculus; 5. Rule-based semantics of ¿-expressions; 6. Outlines of a reduction machine; 7. Towards a parallel graph-reduction; Appendix A: A proof of the Church-Rosser theorem; Appendix B: Introduction to typed ¿-calculus; Bibliographical notes; References.
Details
Genre: Importe
Medium: Taschenbuch
ISBN-13: 9780521114295
ISBN-10: 0521114292
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Revesz, G. E.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 244 x 170 x 11 mm
Von/Mit: G. E. Revesz
Erscheinungsdatum: 27.02.2009
Gewicht: 0,342 kg
Artikel-ID: 101633606
Inhaltsverzeichnis
Preface; 1. Introduction; 2. Type-free lambda-calculus; 3. Combinators and constant symbols; 4. List manipulation in lambda-calculus; 5. Rule-based semantics of ¿-expressions; 6. Outlines of a reduction machine; 7. Towards a parallel graph-reduction; Appendix A: A proof of the Church-Rosser theorem; Appendix B: Introduction to typed ¿-calculus; Bibliographical notes; References.
Details
Genre: Importe
Medium: Taschenbuch
ISBN-13: 9780521114295
ISBN-10: 0521114292
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Revesz, G. E.
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 244 x 170 x 11 mm
Von/Mit: G. E. Revesz
Erscheinungsdatum: 27.02.2009
Gewicht: 0,342 kg
Artikel-ID: 101633606
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...