Coherence for sharing proof nets

DOI10.1007/3-540-61464-8_54zbMath1503.03047MaRDI QIDQ5055862

Stefano Guerrini, Simone Martini, Andrea Masini

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61464-8_54

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

68Q42: Grammars and rewriting systems

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B40: Combinatory logic and lambda calculus