Concurrent Construction of Proof-Nets.

Jean-Marc Andreoli, Laurent Mazar

Browse the full CSL paper archive.