Formalising inductive and coinductive containers
Submitted
Stefania Damato, Thorsten Altenkirch, Axel Ljungström https://www.arxiv.org/abs/2409.02603
Submitted
Stefania Damato, Thorsten Altenkirch, Axel Ljungström https://www.arxiv.org/abs/2409.02603