Geometry of Interaction and linear combinatory algebras
From MaRDI portal
Recommendations
Cited in
(47)- Memoryful geometry of interaction: from coalgebraic components to algebraic effects
- Typed GoI for Exponentials
- Musings around the geometry of interaction, and coherence
- Towards a geometry of recursion
- Machine semantics
- Quantum circuit oracles for abstract machine computations
- Classical structures based on unitaries
- Computation by interaction for space-bounded functional programming
- scientific article; zbMATH DE number 7724203 (Why is no real title available?)
- Join inverse categories as models of reversible recursion
- Feedback for linearly distributive categories: Traces and fixpoints
- Promonads and String Diagrams for Effectful Categories
- Interaction graphs: multiplicatives
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Interaction graphs: additives
- A type assignment system for game semantics
- lambda!-calculus, Intersection Types, and Involutions
- scientific article; zbMATH DE number 785046 (Why is no real title available?)
- Representation of partial traces
- Can a quantum computer run the von Neumann architecture?
- A game semantics for generic polymorphism
- On categorical models of classical logic and the Geometry of Interaction
- A Representation Theorem for Unique Decomposition Categories
- On strictifying extensional reflexivity in compact closed categories
- Coherence spaces and uniform continuity
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- From geometry of interaction to denotational semantics
- Towards a typed geometry of interaction
- A structural approach to reversible computation
- Attribute Grammars and Categorical Semantics
- Semantics of higher-order quantum computation via geometry of interaction
- Linear realizability and full completeness for typed lambda-calculi
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
- Logical foundations of quantitative equality
- Physical traces: quantum vs. classical information processing
- Partial traces on additive categories
- A quantum double construction in Rel.
- Coherence and strictification for self-similarity
- Proofs as Polynomials
- Traces for coalgebraic components
- Join inverse categories and reversible recursion
- On traced monoidal closed categories
- Conformal field theory as a nuclear functor
- Bialgebras in Rel
- The geometry of Bayesian programming
- A categorical model for the geometry of interaction
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)
