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

66,35 €*

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
Medium: Taschenbuch
ISBN-13: 9780521114295
ISBN-10: 0521114292
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Revesz, G. E.
Hersteller: Cambridge University Press
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
Medium: Taschenbuch
ISBN-13: 9780521114295
ISBN-10: 0521114292
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Revesz, G. E.
Hersteller: Cambridge University Press
Maße: 244 x 170 x 11 mm
Von/Mit: G. E. Revesz
Erscheinungsdatum: 27.02.2009
Gewicht: 0,342 kg
Artikel-ID: 101633606
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783642014871 | Das V-Modell® XT | Jan Friedrich (u. a.) | Taschenbuch | Paperback
Das V-Modell® XT
Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
EAN: 9783642014871
Sprache: Deutsch
Von/Mit: Jan Friedrich (u. a.)

29,99 €*

Aktuell nicht verfügbar

Buch
Cover: 9781107120327 | Set Theory | Daniel W. Cunningham | Buch | HC gerader Rücken kaschiert
Set Theory
EAN: 9781107120327
Sprache: Englisch
Von/Mit: Daniel W. Cunningham

65,80 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783834816825 | Grundkurs Datenbankentwurf | Helmut Jarosch | Taschenbuch | Paperback
Grundkurs Datenbankentwurf
Eine beispielorientierte Einführung für Studierende und Praktiker
EAN: 9783834816825
Sprache: Deutsch
Von/Mit: Helmut Jarosch

64,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781119652687 | Swiftui for Dummies | Wei-Meng Lee | Taschenbuch | 416 S. | Englisch
Swiftui for Dummies
EAN: 9781119652687
Sprache: Englisch
Von/Mit: Wei-Meng Lee

33,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780198846437 | Mathematics is the Poetry of Science | Cedric Villani | Taschenbuch
Mathematics is the Poetry of Science
EAN: 9780198846437
Sprache: Englisch
Von/Mit: Cedric Villani

18,45 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781098103651 | Advanced Analytics with Pyspark: Patterns for Learning from Data at...
Advanced Analytics with Pyspark
Patterns for Learning from Data at Scale Using Python and Spark
EAN: 9781098103651
Sprache: Englisch
Von/Mit: Akash Tandon (u. a.)

62,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781617294280 | The Java Module System | Nicolai Parlog | Taschenbuch | Englisch
The Java Module System
EAN: 9781617294280
Sprache: Englisch
Von/Mit: Nicolai Parlog

57,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781098106393 | Operating OpenShift | An SRE Approach to Managing Infrastructure
Operating OpenShift
An SRE Approach to Managing Infrastructure
EAN: 9781098106393
Sprache: Englisch
Von/Mit: Manuel Dewald (u. a.)

82,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783910429079 | Meine Lernbox 4 - Mathematik - Fit für das 4. Schuljahr | Langhans
Meine Lernbox 4 - Mathematik - Fit für das 4. Schuljahr
Übungsmaterialien 4. Klasse für zu Hause und im Unterricht mit Etikett gratis
EAN: 9783910429079
Sprache: Deutsch
Von/Mit: sternchenverlag GmbH (u. a.)
Maße: 346 x 319 x 29 mm

18,90 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781835086056 | AI-Assisted Programming for Web and Machine Learning | Noring (u. a.)
AI-Assisted Programming for Web and Machine Learning
Improve your development workflow with ChatGPT and GitHub Copilot
EAN: 9781835086056
Sprache: Englisch
Von/Mit: Christoffer Noring (u. a.)

62,55 €*

Lieferzeit 1-2 Wochen

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