The Parametric Lambda Calculus: A Metamodel for Computation Contributor(s): Ronchi Della Rocca, Simona (Author), Paolini, Luca (Author) |
|
ISBN: 3642057462 ISBN-13: 9783642057465 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: December 2010 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Computer Science - Computers | Programming Languages - General |
Dewey: 511.35 |
Series: Texts in Theoretical Computer Science. an Eatcs |
Physical Information: 0.57" H x 6.14" W x 9.21" (0.85 lbs) 248 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |