Pages that link to "Item:Q3625674"
From MaRDI portal
The following pages link to On traced monoidal closed categories (Q3625674):
Displaying 14 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Partially traced categories (Q1940191) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- A quantum double construction in Rel (Q2909732) (← links)
- The compositional construction of Markov processes II (Q3006162) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- Towards a typed Geometry of Interaction (Q3564345) (← links)
- (Q5018485) (← links)
- (Q5020625) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- A braided lambda calculus (Q6657786) (← links)
