|
Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Typed Lambda Calculi and Applications - Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings (Paperback, 1995 ed.)
Loot Price: R1,732
Discovery Miles 17 320
|
|
|
Typed Lambda Calculi and Applications - Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 902
Expected to ship within 10 - 15 working days
|
This volume presents the proceedings of the Second International
Conference on Typed Lambda Calculi and Applications, held in
Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58
submissions and comprehensively reports the state of the art in the
field. The following topics are addressed: proof theory of type
systems, logic and type systems, typed lambda calculi as models of
(higher-order) computation, semantics of type systems, proof
verification via type systems, type systems of programming
languages, and typed term rewriting systems.
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
