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 - 9783642057465 - December 4, 2010
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 Softcover reprint of hardcover 1st ed. 2004 edition

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 8
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.


267 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 4, 2010
ISBN13 9783642057465
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 248
Dimensions 234 × 174 × 15 mm   ·   385 g
Language German  

More by Simona Ronchi Della Rocca

Show all

Mere med samme udgiver