TY - RPRT TI - Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures AU - Marcelo Fiore AU - Nicola Gambino AU - Martin Hyland AU - Glynn Winskel PY - 2017 DO - 10.1007/s00029-017-0361-3 UR - https://arxiv.org/abs/1612.03678 ID - 1612.03678 ER -