69 citations · 205 across the 22 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 13 cited
On streams that are finitely red
Marc Bezem, Keiko Nakata, Tarmo Uustalu
Mixing induction and coinduction, we study alternative definitions of streams being finitely red. We organize our definitions into a hierarchy including also some well-known altern…
cs.LO2012
Structured general corecursion and coinductive graphs [extended abstract]
Tarmo Uustalu
Bove and Capretta's popular method for justifying function definitions by general recursive equations is based on the observation that any structured general recursion equation def…