The Parametric Lambda Calculus: A Metamodel for Computation eBook

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices.

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.

This is a digital product.

Additional ISBNs
9783642057465

The Parametric Lambda Calculus: A Metamodel for Computation is written by Simona Ronchi Della Rocca; Luca Paolini and published by Springer. The Digital and eTextbook ISBNs for The Parametric Lambda Calculus are 9783662103944, 366210394X and the print ISBNs are 9783540200321, 3540200320. Additional ISBNs for this eTextbook include 9783642057465.