Pseudo-closed 2-categories and pseudocommutativities (0)

by J M E Hyland, A J Power
Venue:J. Pure Appl. Algebra