Connection-Based Proof Construction in Linear Logic.

Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt

Browse the full CADE paper archive.