BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) Hardback - 2004

by Ronchi Della Rocca, Simona & Paolini, Luca

Add to wish list
  • Used
  • near fine
  • Hardback
  • first
Used - Near Fine

Description

NY: Springer, 2004. 1st . Hardcover. Near Fine/No Jacket as Issued. 8vo. 1st printing; pictorial c. 262 clean, unmarked pages

Add to wish list
This copy is temporarily unavailable. Please check back later or see below for alternate copies of this book, if available. You can also add this book to your want list and we will notify you if this book becomes available again or we locate other copies:

Reader reviews for The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

From the publisher

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.

First line

Sometimes, we will refer to -terms simply as terms.

From the rear cover

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.

Details

About the author

Simona Ronchi Della Rocca: Full Professor of Foundations of Computer Science since 1987, Member of the Editorial Board of TOCL (ACM Transactions on Computational Logic), Member of the Organizing Committee of LICS (Logic in Computer Science), Member of the Accademy of Sciences of Torino

Luca Paolini: PhD student in Computer Science and Discrete Mathematics, Universit di Genova and Universit de la Mediterrane.

.

More Copies for Sale

THE PARAMETRIC LAMBDA CALCULUS : A METAMODEL FOR COMPUTATION (TEXTS IN THEORETICAL COMPUTER...
Stock photo: cover may vary

THE PARAMETRIC LAMBDA CALCULUS : A METAMODEL FOR COMPUTATION (TEXTS IN THEORETICAL COMPUTER SCIENCE. AN EATCS SERIES)

by SIMONA RONCHI DELLA ROCCA, LUCA PAOLINI ,

  • New
  • Hardback
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
5
Seller
Item price
A$66.11
A$22.04 Delivery to USA

Show details

Description:
Springer, 2004. 1st. Hardcover. New/New.
Add to wish list
Item price
A$66.11
A$22.04 Delivery to USA
The Parametric Lambda Calculus : A Metamodel for Computation

The Parametric Lambda Calculus : A Metamodel for Computation

by Simona Ronchi Della Rocca

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
373
Seller
Item price
A$104.35
A$15.45 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$104.35
A$15.45 Delivery to USA
The Parametric Lambda Calculus
Stock photo: cover may vary

The Parametric Lambda Calculus

  • New
Condition
New
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
1
Seller
Item price
A$79.42
A$22.04 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$79.42
A$22.04 Delivery to USA
The Parametric Lambda Calculus
Stock photo: cover may vary

The Parametric Lambda Calculus

by Simona Ronchi Della Rocca, Luca Paolini,

  • New
Condition
New
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
5
Seller
Item price
A$82.27
A$5.86 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$82.27
A$5.86 Delivery to USA
The Parametric Lambda Calculus: A Metamodel for Computation

The Parametric Lambda Calculus: A Metamodel for Computation

by Simona Ronchi Della Rocca

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
10
Seller
Item price
A$110.40
A$19.24 Delivery to USA

Show details

Description:
Hardback. New. 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.
Add to wish list
Item price
A$110.40
A$19.24 Delivery to USA
The Parametric Lambda Calculus
Stock photo: cover may vary

The Parametric Lambda Calculus

by Simona Ronchi Della Rocca Luca Paolini

  • Used
  • Hardback
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
1
Seller
Item price
A$89.94
A$5.86 Delivery to USA

Show details

Description:
Springer , pp. 276 . Hardback. Used.
Add to wish list
Item price
A$89.94
A$5.86 Delivery to USA
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer...
Stock photo: cover may vary

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

by Ronchi Della Rocca, Simona

  • New
  • Hardback
Condition
New
Edition
2004
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
1
Seller
Item price
A$93.46
Free Delivery to USA

Show details

Description:
Springer, 2004-07-05. 2004. hardcover. New. 6.25x0.75x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$93.46
Free Delivery to USA
The Parametric Lambda Calculus
Stock photo: cover may vary

The Parametric Lambda Calculus

by Simona Ronchi Della Rocca, Luca Paolini,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
5
Seller
Item price
A$95.08
A$5.86 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$95.08
A$5.86 Delivery to USA
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer...
Stock photo: cover may vary

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

by Paolini, Luca

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
1
Seller
Item price
A$117.40
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$117.40
Free Delivery to USA
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer...
Stock photo: cover may vary

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

by Ronchi Della Rocca, Simona

  • Used
  • Hardback
Condition
Used
Edition
2004
Binding
Hardcover
ISBN 10 / ISBN 13
9783540200321 / 3540200320
Quantity available
1
Seller
Item price
A$124.86
Free Delivery to USA

Show details

Description:
Springer, 2004-07-05. 2004. hardcover. Used: Good. 6.25x0.75x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$124.86
Free Delivery to USA