Formalising Inductive and Coinductive Containers

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

September 04, 2024

Subjects

Logic in Computer Science (cs.LO)

Logic (math.LO)

Updated on Academus

2025/10/30 08:43 UTC