A Co-iterative Characterization of Synchronous Stream Functions (1998)

by Paul Caspi, Marc Pouzet
Venue:In Coalgebraic Methods in Computer Science (CMCS’98), Electronic Notes in Theoretical Computer Science