A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties.

Stefan Milius, Dirk Pattinson, Thorsten Wimann

Browse the full FOSSACS paper archive.