Parametric Lambda Calculus

Name: Parametric Lambda Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540200321
Price: 19305 HUF
Availability: InStock

A Metamodel for Computation

Szerző: S. Ronchi Della Rocca, L. Paolini

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

19 305 Ft

The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its...

Információk a könyvről

Szerző

S. Ronchi Della Rocca, L. Paolini

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2004

oldal

248

EAN

9783540200321

ISBN

3540200320

Enbook ID

01558568

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

520

Méretek

155 x 235 x 19

Teljes leírá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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Parametric Lambda Calculus

A Metamodel for Computation

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták