Parametric Lambda Calculus
A Metamodel for Computation
Inbunden, Engelska, 2004
719 kr
Beställningsvara. Skickas inom 7-10 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
- Utgivningsdatum2004-07-05
- Mått155 x 235 x 20 mm
- Vikt576 g
- SpråkEngelska
- SerieTexts in Theoretical Computer Science. An EATCS Series
- Antal sidor248
- Upplaga2004
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- EAN9783540200321
Hoppa över listan