Quantales and (noncommutative) linear logic (0)

by David N Yetter
Venue:J. Symb. Log