Quantales and (non-commutative) Linear Logic (1990)

by D N Yetter
Venue:Journal of Symbolic Logic