The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) | Cover
Das ist kein Original-Foto des angebotenen Exemplares. Abweichungen sind möglich.
  1. Bücher
  2. The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) [hardcover]

von: Simona Ronchi Della Rocca

Gebraucht kaufen

38,99 €*

Gebraucht, Akzeptabel 
Versandfertig: sofort

Anmerkungen:
Auflage: 2004.

Später kaufen

📦
Kostenfreier Versand ab 20 € Bestellwert
Nur noch 20,00 € bis zum kostenfreien Versand innerhalb Deutschlands

*alle Preise inkl. MwSt. zzgl. Versandkosten

ISBN-13: 9783540200321, ISBN-10: 3540200320

hardcover: 272 Seiten

Verlag: Springer

Erscheinungsjahr: 2004

Größe: 24,1 cm x 16,3 cm x 2,0 cm

Gewicht: 535 g

Kurzbeschreibung:

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. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.