Similar Items: Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
- Algebraic Language Theory for Eilenberg--Moore Algebras
- Completeness for the coalgebraic cover modality
- Relation lifting, with an application to the many-valued cover modality
- An expressive completeness theorem for coalgebraic modal mu-calculi
- On the Unprovability of Circuit Size Bounds in Intuitionistic $mathsf{S}^1_2$
- Models of Type Theory Based on Moore Paths