Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl).

Thorsten Wimann, Blint Kocsis, Jurriaan Rot, Ruben Turkenburg

Browse the full CALCO paper archive.