Formalising Inductive and Coinductive Containers.

Stefania Damato, Thorsten Altenkirch, Axel Ljungstrm

Browse the full ITP paper archive.