Interaction graphs: exponentials

MaRDI QIDQ5232907zbMATH OpenFDO

Authors Thomas Seiller

Publication date 13 September 2019

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

zbMATH Keywords

game semanticsimplicit computational complexitylinear logicmeasurable dynamicsgeometry of interactioninteraction graphsrealisabilitygraphings

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Semantics in the theory of computing (68Q55)

Recommendations

• Interaction graphs: graphings
• Interaction graphs: full linear logic
• Interaction graphs: multiplicatives
• Typed GoI for Exponentials
• Interaction graphs: additives

Cited in

(6)

• Interaction graphs: full linear logic
• Interaction graphs: additives
• Zeta functions and the (linear) logic of Markov processes
• Interaction graphs: graphings
• Unifying lower bounds for algebraic machines, semantically
• Interaction Graphs: Exponentials

This page was built for publication: Interaction graphs: exponentials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5232907)