The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series - Simona Ronchi Della Rocca - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642057465 - 4 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 Edition

Preço
€ 50,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 3 - 11 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Simona Ronchi Della Rocca
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de dezembro de 2010
ISBN13 9783642057465
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 248
Dimensões 234 × 174 × 15 mm   ·   385 g
Idioma Alemão  

Mais por Simona Ronchi Della Rocca

Mais da mesma editora