scientific article
From MaRDI portal
Publication:2849878
zbMath1272.03156MaRDI QIDQ2849878
Esfandiar Haghverdi, Philip J. Scott
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000332
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (2)
A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Proofs as Polynomials
This page was built for publication:
