TY  - RPRT
TI  - Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
AU  - Jean-Simon Pacaud Lemay
PY  - 2019
DO  - 10.23638/lmcs-15(4:8)2019
UR  - https://arxiv.org/abs/1804.11116
ID  - 1804.11116
ER  -