Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 2 of 2 matches in All Departments
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.
Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.
|
You may like...
|