The Parametric Lambda Calculus
A Metamodel for Computation| By: | Simona Ronchi Della Rocca; Luca Paolini |
| Publisher: | Springer Nature |
| Print ISBN: | 9783540200321 |
| eText ISBN: | 9783662103944 |
| Edition: | 0 |
| Copyright: | 2004 |
| Format: | Page Fidelity |
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
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.