Parametric Lambda Calculus
A Metamodel for Computation
Häftad, Engelska, 2010
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2010-12-04
- Mått155 x 235 x 15 mm
- Vikt417 g
- FormatHäftad
- SpråkEngelska
- SerieTexts in Theoretical Computer Science. An EATCS Series
- Antal sidor248
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642057465