+612 9045 4394
The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca

The Parametric Lambda Calculus

A Metamodel for Computation

Hardcover Published: 5th July 2004
ISBN: 9783540200321
Number Of Pages: 248

Share This Book:


RRP $242.99
or 4 easy payments of $42.09 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 4th December 2010

The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational.This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.

The parametric [lambda]-calculusp. 3
The call-by-name [lambda]-calculusp. 25
The call-by-value [lambda]-calculusp. 35
Further readingp. 61
Parametric operational semanticsp. 65
Call-by-name operational semanticsp. 73
Call-by-value operational semanticsp. 89
Operational extensionalityp. 95
Further readingp. 101
[lambda][Delta]-modelsp. 105
Call-by-name denotational semanticsp. 119
Call-by-value denotational semanticsp. 181
Filter [lambda][Delta]-models and domainsp. 207
Further readingp. 221
Preliminariesp. 225
Representing functionsp. 233
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540200321
ISBN-10: 3540200320
Series: Texts in Theoretical Computer Science. An EATCS Series
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 248
Published: 5th July 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 1.91
Weight (kg): 1.25