Jump from Parallel to Sequential Proofs: Multiplicatives.

Paolo Di Giamberardino, Claudia Faggian

Browse the full CSL paper archive.