Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX.

Andrea Asperti, Giovanna M. Dore

Browse the full LFCS paper archive.