scientific article; zbMATH DE number 7491999
From MaRDI portal
Publication:5062636
zbMath1483.03033MaRDI QIDQ5062636
Publication date: 17 March 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
From Focalization of Logic to the Logic of Focalization ⋮ An approach to innocent strategies as graphs ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Unnamed Item
This page was built for publication:
