Towards a semantics of proofs for non-commutative logic: multiplicatives and additives
Interpretation of proofs of the multiplicative-additive fragment of non-commutative logic, by using bimodules on coherent spaces and bilinear finictions. (C) 2002 Published by Elsevier Science B.V.
non-commutative logic coherent spaces denotational semantics