Pseudo-commutative monads and pseudo-closed 2categories (2002)

by Martin Hyland, John Power
Venue:J. Pure Appl. Algebra