Formalising inductive and coinductive containers. - Stefania Damato; Thorsten Altenkirch; Axel Ljungström (CoRR, 2024)

Distributive Laws of Monadic Containers. - Chris Purdy; Stefania Damato (CALCO, 2025)