Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Logic (1991)

by V M Abrusci
Venue:Journal of Symbolic Logic