Stochastic streams

Last updated May 3, 2023

References:

• A Synthetic Approach to Markov Kernels (Fritz)
• Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)