The following pages link to (Q3024908):
Displaying 37 items.
- Join inverse categories and reversible recursion (Q511931) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- A calculus of coroutines (Q817847) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- From reversible programs to univalent universes and back (Q2130579) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- GS·Λ Theories (Q2842817) (← links)
- The Uniformity Principle on Traced Monoidal Categories (Q2842820) (← links)
- A Categorical Semantics of Higher Order Store (Q2842823) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- (Q3384925) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST (Q4917051) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q5014444) (← links)
- (Q5018485) (← links)
- (Q5020625) (← links)
- (Q5021229) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Two applications of analytic functors (Q5958294) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
- Traced monoidal categories as algebraic structures in Prof (Q6653750) (← links)
- A compositional approach to parity games (Q6653762) (← links)
