Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads.

Hugo Paquet, Philip Saville

Browse the full LICS paper archive.