A small final coalgebra theorem (0)

by Y Kawahara, M Mori
Venue:Theoretical Computer Science