two operations on streams

Last updated Feb 3, 2024

References.

• A Coinductive Calculus of Streams (Rutten, 2005) Tags: stream.