Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
68,40 €
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
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 |
| Inhalt: | Kartoniert / Broschiert |
| ISBN-13: | 9780521114295 |
| ISBN-10: | 0521114292 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Revesz, G. E. |
| Hersteller: | Cambridge University Press |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 244 x 170 x 11 mm |
| Von/Mit: | G. E. Revesz |
| Erscheinungsdatum: | 25.06.2009 |
| Gewicht: | 0,342 kg |