A categorical model for the geometry of interaction
From MaRDI portal
Publication:817846
Recommendations
Cites work
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 1670474 (Why is no real title available?)
- scientific article; zbMATH DE number 1722655 (Why is no real title available?)
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 4179372 (Why is no real title available?)
- scientific article; zbMATH DE number 3967883 (Why is no real title available?)
- scientific article; zbMATH DE number 4099289 (Why is no real title available?)
- scientific article; zbMATH DE number 4123722 (Why is no real title available?)
- scientific article; zbMATH DE number 1330438 (Why is no real title available?)
- scientific article; zbMATH DE number 1074568 (Why is no real title available?)
- scientific article; zbMATH DE number 1482700 (Why is no real title available?)
- scientific article; zbMATH DE number 786499 (Why is no real title available?)
- scientific article; zbMATH DE number 786500 (Why is no real title available?)
- A categorical framework for finite state machines
- A relational model of non-deterministic dataflow
- Algebraically compact functors
- Geometry of Interaction and linear combinatory algebras
- Glueing and orthogonality for models of linear logic
- New foundations for the geometry of interaction
- Retracing some paths in process algebra
- The geometry of tensor calculus. I
- Traced monoidal categories
- Types for Proofs and Programs
- Unique decomposition categories, Geometry of Interaction and combinatory logic
Cited in
(38)- Proofs as Polynomials
- A Representation Theorem for Unique Decomposition Categories
- Types for Proofs and Programs
- New foundations for the geometry of interaction
- Automata, Languages and Programming
- Geometry of interaction. V: Logic in the hyperfinite factor
- Towards a typed geometry of interaction
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- Geometry of Interaction and linear combinatory algebras
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- From geometry of interaction to denotational semantics
- Interaction graphs: full linear logic
- Strict geometry of interaction graph models
- Quantum logic in dagger kernel categories
- On traced monoidal closed categories
- scientific article; zbMATH DE number 7724203 (Why is no real title available?)
- Dagger categories of tame relations
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects
- Typed GoI for Exponentials
- On geometry of interaction for polarized linear logic
- Feedback for linearly distributive categories: Traces and fixpoints
- Zeta functions and the (linear) logic of Markov processes
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Partially traced categories
- Multiplexor Categories and Models of Soft Linear Logic
- Quantum logic in dagger kernel categories
- Aspects of categorical recursion theory
- On categorical models of classical logic and the Geometry of Interaction
- Compact inverse categories
- An Explicit Framework for Interaction Nets
- Musings around the geometry of interaction, and coherence
- Towards a geometry of recursion
- Machine semantics
- Quantum circuit oracles for abstract machine computations
- A categorical analogue of the monoid semiring construction
- A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
- A categorical semantics for polarized MALL
- On the Functor ℓ2
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)
