EasyChair Smart Slide
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories