Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets

DOI10.1145/3234694zbMath1407.03077arXiv1503.08925OpenAlexW2964244682MaRDI QIDQ4617970

Masahiro Hamano

Publication date: 7 February 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

cut-eliminationgeometry of interaction\(\ast\)-algebraBoolean polynomial ringproof-netsexecution formulasemiring of formal languageschange of coefficient ringmultiplicative additive linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ A MALL geometry of interaction based on indexed linear logic

This page was built for publication: Geometry of Interaction for MALL via Hughes--Van Glabbeek Proof-Nets