Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues - Luke Ong - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642216909 - May 23, 2011
In case cover and title do not match, the title is correct

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues

Luke Ong

Price
CA$ 90.49
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 16 - 29

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.

257 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 23, 2011
ISBN13 9783642216909
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 245
Dimensions 155 × 235 × 15 mm   ·   408 g
Language French  
Editor Ong, Luke
Show all

More by Luke Ong

See all of Luke Ong ( e.g. Paperback Book )