The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Mega Sale! Save 21% on the The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) by Brand: Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique
Product Description
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.
Additional Information
Manufacturer: | Springer |
Brand: | Brand: Springer |
Publisher: | Springer |
Studio: | Springer |
EAN: | 9783540200321 |
Item Weight: | 1.24 pounds |
Item Size: | 0.69 x 9.21 x 9.21 inches |
Package Weight: | 1.15 pounds |
Package Size: | 6.38 x 0.79 x 0.79 inches |