Pseudo-commutative monads and pseudo-closed 2-categories, Journal of Pure and Applied Algebra 175 (1994)

by M Hyland, J Power
Venue:1-3) (2002) 141–185. 33 B. Jacobs, Semantics of weakening and contraction., Annals of Pure and Applied Logic