Vor Ort
Merkzettel Warenkorb
  • Produktbild: The Parametric Lambda Calculus
  • Produktbild: The Parametric Lambda Calculus

The Parametric Lambda Calculus A Metamodel for Computation

Aus der Reihe Texts in Theoretical Computer Science. An EATCS Series

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.12.2010

Abbildungen

XIV, 248 p.

Verlag

Springer Berlin

Seitenzahl

248

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

Softcover reprint of hardcover 1st edition 2004

Sprache

Englisch

ISBN

978-3-642-05746-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.12.2010

Abbildungen

XIV, 248 p.

Verlag

Springer Berlin

Seitenzahl

248

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

417 g

Auflage

Softcover reprint of hardcover 1st edition 2004

Sprache

Englisch

ISBN

978-3-642-05746-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: The Parametric Lambda Calculus
  • Produktbild: The Parametric Lambda Calculus
  • I. Syntax.- 1. The Parametric ?-Calculus.- 2. The Call-by-Name ?-Calculus.- 3. The Call-by-Value ?-Calculus.- 4. Further Reading.- II. Operational Semantics.- 5. Parametric Operational Semantics.- 6. Call-by-Name Operational Semantics.- 7. Call-by-Value Operational Semantics.- 8. Operational Extensionality.- 9. Further Reading.- III. Denotational Semantics.- 10. ??-Models.- 11. Call-by-Name Denotational Semantics.- 12. Call-by-Value Denotational Semantics.- 13. Filter ??-Models and Domains.- 14. Further Reading.- IV. Computational Power.- 15. Preliminaries.- 16. Representing Functions.