A New Foundation for Finitary Corecursion and Iterative Algebras
Milius, Stefan, Pattinson, Dirk, Wißmann, ThorstenJournal:
Information and Computation
DOI:
10.1016/j.ic.2019.104456
Date:
August, 2019
File:
PDF, 638 KB
2019