Texts in Theoretical Computer Science. An EATCS Series

The Parametric Lambda Calculus

A Metamodel for Computation

Authors: Ronchi Della Rocca, Simona, Paolini, Luca

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-662-10394-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 83,15 €
price for Spain (gross)
  • ISBN 978-3-540-20032-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 83,15 €
price for Spain (gross)
  • ISBN 978-3-642-05746-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

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.

About the authors

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 Mediterranée.

 

.

Table of contents (16 chapters)

  • The Parametric λ-Calculus

    Rocca, Simona Ronchi Della (et al.)

    Pages 3-23

    Preview Buy Chapter 30,19 €
  • The Call-by-Name λ-Calculus

    Rocca, Simona Ronchi Della (et al.)

    Pages 25-33

    Preview Buy Chapter 30,19 €
  • The Call-by-Value λ-Calculus

    Rocca, Simona Ronchi Della (et al.)

    Pages 35-59

    Preview Buy Chapter 30,19 €
  • Further Reading

    Rocca, Simona Ronchi Della (et al.)

    Pages 61-61

    Preview Buy Chapter 30,19 €
  • Parametric Operational Semantics

    Rocca, Simona Ronchi Della (et al.)

    Pages 65-72

    Preview Buy Chapter 30,19 €

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-662-10394-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 83,15 €
price for Spain (gross)
  • ISBN 978-3-540-20032-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 83,15 €
price for Spain (gross)
  • ISBN 978-3-642-05746-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Parametric Lambda Calculus
Book Subtitle
A Metamodel for Computation
Authors
Series Title
Texts in Theoretical Computer Science. An EATCS Series
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-10394-4
DOI
10.1007/978-3-662-10394-4
Hardcover ISBN
978-3-540-20032-1
Softcover ISBN
978-3-642-05746-5
Series ISSN
1862-4499
Edition Number
1
Number of Pages
XIV, 248
Topics