Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.

Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Browse the full CALCO paper archive.