Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda.

Thorsten Wimann, Stefan Milius

Browse the full LICS paper archive.