The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series - Simona Ronchi Della Rocca - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540200321 - July 5, 2004
In case cover and title do not match, the title is correct

The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series 2004 edition

Price
HK$ 434
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6
Add to your iMusic wish list

Also available as:

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.


248 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 5, 2004
ISBN13 9783540200321
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 248
Dimensions 155 × 235 × 17 mm   ·   562 g
Language English   German  

Mere med samme udgiver