Proof nets sequentialisation in multiplicative linear logic
From MaRDI portal
Publication:952490
DOI10.1016/j.apal.2008.04.002zbMath1165.03051MaRDI QIDQ952490
Claudia Faggian, Paolo Di Giamberardino
Publication date: 12 November 2008
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.04.002
03F07: Structure of proofs
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Cites Work