Lambda-Calculus, Combinators and Functiona... | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780521114295 | Lambda-Calculus, Combinators and Functional Programming | G. E. Revesz

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

63,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

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

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
Seiten:	192
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

preigu-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
Seiten:	192
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

preigu-id: 101633606

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783540551379 | PASCAL-XSC | Language Reference with Examples | Ulrich Kulisch (u. a.)

Language Reference with Examples

EAN: 9783540551379

Sprache: Englisch

Von/Mit: Rudi Klatte (u. a.)

55,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780521616782 | The Elements of UML 2.0 Style | Scott W. Ambler | Taschenbuch | 2014

The Elements of UML 2.0 Style

EAN: 9780521616782

Sprache: Englisch

Von/Mit: Scott W. Ambler

28,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783528108113 | Einführung in die Vektorrechnung | Alfred Wittig | Taschenbuch

Einführung in die Vektorrechnung

EAN: 9783528108113

Sprache: Deutsch

Von/Mit: Alfred Wittig

54,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781430261872 | Oracle Database 12c Performance Tuning Recipes: A Problem-Solution...

Oracle Database 12c Performance Tuning Recipes

A Problem-Solution Approach

EAN: 9781430261872

Sprache: Englisch

Von/Mit: Sam Alapati (u. a.)

82,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783642058806 | Interactive Theorem Proving and Program Development | Castéran (u. a.)

Interactive Theorem Proving and Program Development

Coq¿Art: The Calculus of Inductive Constructions

EAN: 9783642058806

Sprache: Englisch

Von/Mit: Pierre Castéran (u. a.)

75,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781786464538 | React Design Patterns and Best Practices | Michele Bertoli | Buch

React Design Patterns and Best Practices

Build easy to scale modular applications using the most powerful components and design patterns

EAN: 9781786464538

Von/Mit: Michele Bertoli

56,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780691609393 | The Implementation of Prolog | Patrice Boizumault | Taschenbuch | 2014

The Implementation of Prolog

EAN: 9780691609393

Von/Mit: Patrice Boizumault

54,80 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9783110542523 | Wahrscheinlichkeitsrechnung und Statistik | Raj Spielmann | Buch | XII

Wahrscheinlichkeitsrechnung und Statistik

Mathematische Anwendungen in Natur und Gesellschaft

EAN: 9783110542523

Von/Mit: Raj Spielmann

119,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9781119248903 | Anton's Calculus | Early Transcendentals | Howard Anton (u. a.) | Buch

Anton's Calculus

Early Transcendentals, Global Edition

EAN: 9781119248903

Sprache: Englisch

Von/Mit: Howard Anton (u. a.)

72,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781801070911 | Accelerating Nonprofit Impact with Salesforce | Melissa Hill Dees

Accelerating Nonprofit Impact with Salesforce

Implement Nonprofit Cloud for efficient and cost-effective operations to drive your nonprofit mission

EAN: 9781801070911

Sprache: Englisch

Von/Mit: Melissa Hill Dees

51,90 €*

Lieferzeit 1-2 Wochen

Bundle

Cover: 9783141451597 | Mathematik 7. Arbeitsheft WPF I mit interaktiven Übungen. Für...

Mathematik 7. Arbeitsheft WPF I mit interaktiven Übungen. Für Realschulen in Bayern

EAN: 9783141451597

Sprache: Deutsch

Maße: 298 x 203 x 12 mm

12,75 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9789355516596 | Building Dynamic Web Experiences with PHP | Surabhi Shanker | Buch

Building Dynamic Web Experiences with PHP

Harness the power of PHP to build dynamic and scalable websites (English Edition)

EAN: 9789355516596

Sprache: Englisch

Von/Mit: Surabhi Shanker

44,60 €*

Lieferzeit 1-2 Wochen