Non-Commutative First-Order Sequent Calculus.

Makoto Tatsuta

Browse the full CSL paper archive.