Axioms for Recursion in Call-by-Value
Higher-Order and Symbolic Computation
A General Framework for Types in Graph Rewriting
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Complete Axioms for Categorical Fixed-Point Operators
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Parameterizations and Fixed-Point Operators on Control Categories
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Attribute Grammars and Categorical Semantics
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
On traced monoidal closed categories
Mathematical Structures in Computer Science
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite dimensional vector spaces are complete for traced symmetric monoidal categories
Pillars of computer science
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical descriptional composition
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Traces for coalgebraic components
Mathematical Structures in Computer Science
Elgot theories: A new perspective on the equational properties of iteration
Mathematical Structures in Computer Science
Computation-by-Interaction with effects
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Hi-index | 0.00 |
From the Publisher: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.