machines and streams

Last updated Apr 23, 2024

References

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