A MALL geometry of interaction based on indexed linear logic

DOI10.1017/S0960129521000062OpenAlexW3167878776MaRDI QIDQ5006458

Masahiro Hamano

Publication date: 16 August 2021

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

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

zbMATH Keywords

cut eliminationgeometry of interactiontraced monoidal categoryexecution formulamultiplicative additive linear logicindexed linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical aspects of linear logic (18M45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Geometry of interaction. V: Logic in the hyperfinite factor
• A categorical model for the geometry of interaction
• Interaction graphs: additives
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
• An Indexed System for Multiplicative Additive Polarized Linear Logic
• Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets
• Traced monoidal categories
• On phase semantics and denotational semantics: The exponentials

This page was built for publication: A MALL geometry of interaction based on indexed linear logic