Parametric Lambda Calculus
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.
1 270,00DH
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.
| ISBN / EAN | 9783642057465 |
|---|---|
| Auteur | Ronchi Della Rocca, Simona |
| Editeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |