Formalising inductive and coinductive containers

To appear at ITP 2025

Stefania Damato, Thorsten Altenkirch, Axel Ljungström https://www.arxiv.org/abs/2409.02603