|
Books > Science & Mathematics > Mathematics > Calculus & mathematical analysis > Vector & tensor analysis
|
Buy Now
Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Paperback, 2001 ed.)
Loot Price: R1,449
Discovery Miles 14 490
|
|
|
Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Paperback, 2001 ed.)
Series: Lecture Notes in Computer Science, 2044
Expected to ship within 18 - 22 working days
|
This book constitutes the refereed proceedings of the 5th
International Conference on Typed Lambda Calculi and Applications,
TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full
papers presented were carefully reviewed and selected from 55
submissions. The volume reports research results on all current
aspects of typed lambda calculi. Among the topics addressed are
type systems, subtypes, coalgebraic methods, pi-calculus, recursive
games, various types of lambda calculi, reductions, substitutions,
normalization, linear logic, cut-elimination, prelogical relations,
and mu calculus.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
