The following pages link to Traced monoidal categories (Q4877674):
Displaying 50 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Shadows and traces in bicategories (Q382402) (← links)
- Traces in symmetric monoidal categories (Q404679) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Generalized counting constraint satisfaction problems with determinantal circuits (Q472444) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Perverse sheaves and knot contact homology (Q524848) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Semisimplicity in symmetric rigid tensor categories (Q626710) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- Machine semantics (Q959818) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Random quantum channels. I: Graphical calculus and the Bell state phenomenon (Q982463) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- String diagrams for traced and compact categories are oriented 1-cobordisms (Q1684755) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Partially traced categories (Q1940191) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Circuit algebras are wheeled props (Q2040518) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Partial traces on additive categories (Q2134829) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Tensor topology (Q2176086) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Coherence for invertible objects and multigraded homotopy rings (Q2441268) (← links)
- Traces in monoidal derivators, and homotopy colimits (Q2453568) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Sheaf representation of monoidal categories (Q2687340) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) (Q2825347) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Traces in monoidal categories (Q2841358) (← links)
- Physical Traces (Q2842812) (← links)
- GS·Λ Theories (Q2842817) (← links)
- The Uniformity Principle on Traced Monoidal Categories (Q2842820) (← links)
