Jump from Parallel to Sequential Proofs: Multiplicatives

DOI10.1007/11874683_21zbMath1225.03085OpenAlexW2164691906MaRDI QIDQ3613346

Claudia Faggian, Paolo Di Giamberardino

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_21

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (4)

Jump from parallel to sequential proofs: exponentials ⋮ An approach to innocent strategies as graphs ⋮ Proof nets sequentialisation in multiplicative linear logic ⋮ Jumping Boxes

This page was built for publication: Jump from Parallel to Sequential Proofs: Multiplicatives