Name: The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)
Price: 97370.00 CLP
Availability: InStock
Author: Simona Ronchi Della Rocca; Luca Paolini
ISBN: 9783540200321

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

Formato

Libro Físico

Editorial

Springer

Autor

Simona Ronchi Della Rocca; Luca Paolini

Año

2004

Idioma

Inglés

N° páginas

248

Encuadernación

Tapa Dura

ISBN

3540200320

ISBN13

9783540200321

N° edición

2004

Categorías

Ciencias de la computación

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

Simona Ronchi Della Rocca; Luca Paolini (Autor) · Springer · Tapa Dura

Libro Nuevo

$ 97.370

$ 135.240

Ahorras: $ 37.870

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 26 de Julio y el Viernes 02 de Agosto.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An Eatcs Series) (en Inglés)"

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.