The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series - Simona Ronchi Della Rocca - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642057465 - 4. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 edition

Simona Ronchi Della Rocca

Preis
€ 65,49
Lieferdatum: ca. 24. Okt - 3. Nov

Auch vorhanden als:

The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 edition

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi.


267 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum Tyskland, 4. Dezember 2010
ISBN13 9783642057465
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 248
Maße 234 × 174 × 15 mm   ·   385 g

Alle anzeigen

Weitere Titel von Simona Ronchi Della Rocca