Multiple Conclusion Linear Logic: Cut Elimination and More.

Harley Eades III, Valeria de Paiva

Browse the full LFCS paper archive.