Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Paperback, Edition.)
Loot Price: R1,545
Discovery Miles 15 450
|
|
Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Paperback, Edition.)
Series: Theoretical Computer Science and General Issues, 6690
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R1,565
Discovery Miles: 15 650
|
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. The 15 revised full papers presented were carefully
reviewed and selected from 44 submissions. The papers provide
prevailing research results on all current aspects of typed lambda
calculi, ranging from theoretical and methodological issues to
applications in various contexts addressing a wide variety of
topics such as proof-theory, semantics, implementation, types, and
programming.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.