A categorical model for the geometry of interaction
DOI10.1016/J.TCS.2005.10.028zbMATH Open1086.03050OpenAlexW2020295593MaRDI QIDQ817846FDOQ817846
Authors: Esfandiar Haghverdi, Philip Scott 
Publication date: 20 March 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.028
Recommendations
linear logicgeometry of interactionunique decomposition categoriespartially additive categoriestraced monoidal categories
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)
Cites Work
- Title not available (Why is that?)
- The geometry of tensor calculus. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Geometry of Interaction and linear combinatory algebras
- Title not available (Why is that?)
- Traced monoidal categories
- Retracing some paths in process algebra
- Algebraically compact functors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Glueing and orthogonality for models of linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- New foundations for the geometry of interaction
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A relational model of non-deterministic dataflow
- A categorical framework for finite state machines
- Types for Proofs and Programs
Cited In (38)
- Typed GoI for Exponentials
- Geometry of Interaction and linear combinatory algebras
- Interaction graphs: full linear logic
- On geometry of interaction for polarized linear logic
- Musings around the geometry of interaction, and coherence
- Machine semantics
- Towards a geometry of recursion
- Quantum circuit oracles for abstract machine computations
- A categorical semantics for polarized MALL
- Title not available (Why is that?)
- Feedback for linearly distributive categories: Traces and fixpoints
- Geometry of interaction. V: Logic in the hyperfinite factor
- New foundations for the geometry of interaction
- An Explicit Framework for Interaction Nets
- Zeta functions and the (linear) logic of Markov processes
- Quantum logic in dagger kernel categories
- Multiplexor Categories and Models of Soft Linear Logic
- On categorical models of classical logic and the Geometry of Interaction
- Compact inverse categories
- A Representation Theorem for Unique Decomposition Categories
- Strict geometry of interaction graph models
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Towards a typed geometry of interaction
- From geometry of interaction to denotational semantics
- A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
- Partially traced categories
- A categorical analogue of the monoid semiring construction
- On the Functor ℓ2
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- Proofs as Polynomials
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- On traced monoidal closed categories
- Dagger categories of tame relations
- Quantum logic in dagger kernel categories
- Types for Proofs and Programs
- Aspects of categorical recursion theory
- Automata, Languages and Programming
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects
This page was built for publication: A categorical model for the geometry of interaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817846)
