你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An Eatcs Series)
Type
Physical Book
Publisher
Author
Year
2004
Language
English
Pages
248
Format
Hardcover
ISBN
3540200320
ISBN13
9783540200321
Edition No.
2004
Categories

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

Simona Ronchi Della Rocca; Luca Paolini (Author) · Springer · Hardcover

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An Eatcs Series) - Simona Ronchi Della Rocca; Luca Paolini

Cheaper New Book Imported to Taiwan
Delivery: 22 Sep - 05 Oct Shipping: 13 to 17 business days.
NT$ 1,944
Faster New Book Imported to Taiwan
Delivery: 10 Sep - 18 Sep Shipping: 5 to 6 business days.
NT$ 2,408
NT$ 1,944

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

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

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews