Geometry of Interaction and linear combinatory algebras
From MaRDI portal
Recommendations
Cited in
(55)- Feedback for linearly distributive categories: Traces and fixpoints
- A game semantics for generic polymorphism
- Partial traces on additive categories
- A structural approach to reversible computation
- Computation by interaction for space-bounded functional programming
- Join inverse categories as models of reversible recursion
- Physical traces: quantum vs. classical information processing
- From geometry of interaction to denotational semantics
- Conformal field theory as a nuclear functor
- A quantum double construction in Rel.
- Coherence spaces and uniform continuity
- Can a quantum computer run the von Neumann architecture?
- Traces for coalgebraic components
- Bialgebras in Rel
- A Representation Theorem for Unique Decomposition Categories
- Semantics of higher-order quantum computation via geometry of interaction
- Attribute Grammars and Categorical Semantics
- Towards a typed geometry of interaction
- Typed GoI for Exponentials
- On traced monoidal closed categories
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects
- scientific article; zbMATH DE number 785046 (Why is no real title available?)
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Coherence and strictification for self-similarity
- The geometry of Bayesian programming
- lambda!-calculus, Intersection Types, and Involutions
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
- Join inverse categories and reversible recursion
- Musings around the geometry of interaction, and coherence
- Towards a geometry of recursion
- Classical structures based on unitaries
- Proofs as Polynomials
- On categorical models of classical logic and the Geometry of Interaction
- Linear realizability and full completeness for typed lambda-calculi
- Representation of partial traces
- Promonads and String Diagrams for Effectful Categories
- scientific article; zbMATH DE number 7724203 (Why is no real title available?)
- On strictifying extensional reflexivity in compact closed categories
- Logical foundations of quantitative equality
- The frame problem and the semantics of classical proofs
- (Definitely not) boring interaction abstract machines
- String diagrams for premonoidal categories
- Principal types as partial involutions
- Quantitative equality in substructural logic via Lipschitz doctrines
- Interaction graphs: multiplicatives
- -symsym: an interactive tool for playing with involutions and types
- Two views on unification: terms as strategies
- Combinatory completeness instructured multicategories
- A categorical model for the geometry of interaction
- Interaction graphs: additives
- A type assignment system for game semantics
- Machine semantics
- Quantum circuit oracles for abstract machine computations
This page was built for publication: Geometry of Interaction and linear combinatory algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4792973)
