The following pages link to (Q4936346):
Displayed 21 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- The Uniformity Principle on Traced Monoidal Categories (Q2842820) (← links)
- A quantum double construction in Rel (Q2909732) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- (Q5018485) (← links)
- Abstract Tensor Systems as Monoidal Categories (Q5414967) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Two applications of analytic functors (Q5958294) (← links)