Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642022722
Price: 293.87 RON
Availability: InStock

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Autor: Pierre-Louis Curien

Limbă:

Legare: Carte broșată

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

Disponibilitate: La editor doar la comandă

Expediem în 17-27 zile

293.87 lei

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda C...

Informații despre carte

Autor

Pierre-Louis Curien

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2009

Pagini

417

EAN

9783642022722

ISBN

3642022723

Enbook ID

01649911

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

658

Dimensiuni

155 x 235 x 24

Descriere completă

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming.§The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Typed Lambda Calculi and Applications

9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și