machines and streams

Last updated Oct 7, 2024

References

• A Coinductive Calculus of Streams (Rutten, 2005) Tags: monoidal Mealy machine, coalgebra, stream.