Interaction graphs: additives

DOI10.1016/j.apal.2015.10.001zbMath1433.03148arXiv1205.6557OpenAlexW2100660799MaRDI QIDQ892169

Thomas Seiller

Publication date: 18 November 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1205.6557

zbMATH Keywords

linear logicdynamic semanticsdenotational semanticsgeometry of interactioninteraction graphs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (6)

Logarithmic space and permutations ⋮ Interaction graphs: graphings ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A MALL geometry of interaction based on indexed linear logic

Cites Work

• Geometry of interaction. V: Logic in the hyperfinite factor
• Linear logic
• Interaction graphs: multiplicatives
• New foundations for the geometry of interaction
• Determinant theory in finite factors
• Geometry of Interaction and linear combinatory algebras
• Normativity in Logic
• Characterizingco-NLby a group action
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interaction graphs: additives