Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Paperback, 2013 ed.)
Loot Price: R1,990
Discovery Miles 19 900
|
|
Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Paperback, 2013 ed.)
Series: Theoretical Computer Science and General Issues, 7941
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 11th
International Conference on Typed Lambda Calculi and Applications,
TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part
of RDP 2013, the 7th Federated Conference on Rewriting, Deduction,
and Programming, together with the 24th International Conference on
Rewriting Techniques and Applications, RTA 2013, and several
related events.
The 15 revised full papers presented were carefully reviewed and
selected from 41 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..
|