Geometry of Interaction and linear combinatory algebras

DOI10.1017/S0960129502003730zbMath1014.03056WikidataQ57006720 ScholiaQ57006720MaRDI QIDQ4792973

Samson Abramsky, Esfandiar Haghverdi, Philip J. Scott

Publication date: 13 March 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logicgeometry of interactiontraced monoidal categorieslinear combinatory algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (38)

Computation by interaction for space-bounded functional programming ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Partial traces on additive categories ⋮ Bialgebras in Rel ⋮ A Representation Theorem for Unique Decomposition Categories ⋮ A quantum double construction in Rel ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ The geometry of Bayesian programming ⋮ Interaction graphs: additives ⋮ Promonads and String Diagrams for Effectful Categories ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Attribute Grammars and Categorical Semantics ⋮ Unnamed Item ⋮ Representation of partial traces ⋮ Coherence Spaces and Uniform Continuity ⋮ A type assignment system for game semantics ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Traces for coalgebraic components ⋮ Coherence and strictification for self-similarity ⋮ Join inverse categories and reversible recursion ⋮ Towards a typed Geometry of Interaction ⋮ Machine semantics ⋮ Classical Structures Based on Unitaries ⋮ Quantum circuit oracles for abstract machine computations ⋮ Proofs as Polynomials ⋮ Towards a geometry of recursion ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ A game semantics for generic polymorphism ⋮ Interaction graphs: multiplicatives ⋮ On traced monoidal closed categories ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ lambda!-calculus, Intersection Types, and Involutions ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Physical Traces ⋮ A structural approach to reversible computation ⋮ Conformal Field Theory as a Nuclear Functor ⋮ A categorical model for the geometry of interaction

This page was built for publication: Geometry of Interaction and linear combinatory algebras