Artículo: AMZ-B000W7ZPW4

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

Format:

Kindle

Hardcover

Kindle

Paperback

Detalles del producto
Disponibilidad
Sin stock
Peso con empaque
0.20 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • 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.

Producto prohibido

Este producto no está disponible

Este producto viaja de USA a tus manos en

Conoce más detalles

Highlight, take notes, and search in the book