The following pages link to Traced monoidal categories (Q4877674):
Displaying 50 items.
- The uniformity principle on traced monoidal categories (Q2842820) (← links)
- A categorical semantics of higher order store (Q2842823) (← links)
- Duality and traces for indexed monoidal categories (Q2847338) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- Conformal field theory as a nuclear functor (Q2864148) (← links)
- De-linearizing linearity: projective quantum axiomatics from strong compact closure (Q2864168) (← links)
- Axiomatic description of mixed states from Selinger's CPM-construction (Q2870201) (← links)
- POVMs and Naimark's theorem without sums (Q2870203) (← links)
- A quantum double construction in Rel. (Q2909732) (← links)
- From coalgebraic to monoidal traces (Q2919453) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- The compositional construction of Markov processes II (Q3006162) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- A Representation Theorem for Unique Decomposition Categories (Q3178284) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- Towards Quantum Field Theory in Categorical Quantum Mechanics (Q3384952) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories (Q3400945) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- Towards a typed Geometry of Interaction (Q3564345) (← links)
- Schur-Finiteness and Endomorphisms Universally of Trace Zero Via Certain Trace Relations (Q3618524) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← 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)
- The monoidal structure of Turing machines (Q4917187) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- A <tt>MALL</tt> geometry of interaction based on indexed linear logic (Q5006458) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- (Q5014444) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- (Q5018485) (← links)
- (Q5020625) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
