Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science - Simona Ronchi Della Rocca - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540732273 - June 15, 2007
In case cover and title do not match, the title is correct

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

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

Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.


400 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 15, 2007
ISBN13 9783540732273
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 400
Dimensions 155 × 235 × 21 mm   ·   576 g
Language French  
Editor Ronchi Della Rocca, Simona

More by Simona Ronchi Della Rocca

Show all

Mere med samme udgiver