Fucusing and Proof-Nets in Linear and Non-commutative Logic.

Jean-Marc Andreoli, Roberto Maieli

Browse the full LPAR paper archive.