The Parametric Lambda Calculus: A Metamodel for Computation / Edition 1

The Parametric Lambda Calculus: A Metamodel for Computation / Edition 1

by Simona Ronchi Della Rocca, Luca Paolini
     
 

ISBN-10: 3540200320

ISBN-13: 9783540200321

Pub. Date: 11/18/2004

Publisher: Springer Berlin Heidelberg

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

…  See more details below

Overview

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.

Read More

Product Details

ISBN-13:
9783540200321
Publisher:
Springer Berlin Heidelberg
Publication date:
11/18/2004
Series:
Texts in Theoretical Computer Science. An EATCS Series
Edition description:
2004
Pages:
248
Product dimensions:
6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

1The parametric [lambda]-calculus3
2The call-by-name [lambda]-calculus25
3The call-by-value [lambda]-calculus35
4Further reading61
5Parametric operational semantics65
6Call-by-name operational semantics73
7Call-by-value operational semantics89
8Operational extensionality95
9Further reading101
10[lambda][Delta]-models105
11Call-by-name denotational semantics119
12Call-by-value denotational semantics181
13Filter [lambda][Delta]-models and domains207
14Further reading221
15Preliminaries225
16Representing functions233

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >