scientific article; zbMATH DE number 6747977
From MaRDI portal
Publication:5283032
zbMath1366.03238MaRDI QIDQ5283032
Daniele Porello, Nicolas Troquard
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/37027
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (2)
Non-normal modalities in variants of linear logic ⋮ The virtues of idleness: a decidable fragment of resource agent logic
This page was built for publication:
