Minimality of the correctness criterion for multiplicative proof nets

Denis Béchet. Minimality of the correctness criterion for multiplicative proof nets. Mathematical Structures in Computer Science, 8(6):543-558, 1998.

Abstract

Abstract is missing.