Pages that link to "Item:Q817846"
From MaRDI portal
The following pages link to A categorical model for the geometry of interaction (Q817846):
Displaying 21 items.
- Dagger categories of tame relations (Q382419) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- Machine semantics (Q959818) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Partially traced categories (Q1940191) (← links)
- Quantum Logic in Dagger Kernel Categories (Q2825365) (← links)
- A Representation Theorem for Unique Decomposition Categories (Q3178284) (← links)
- Towards a typed Geometry of Interaction (Q3564345) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- A categorical analogue of the monoid semiring construction (Q4911303) (← links)
- On the Functor ℓ2 (Q4922076) (← 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)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Proofs as Polynomials (Q5415631) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- An Explicit Framework for Interaction Nets (Q5902126) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)
