Mario Román
Search
Search
Dark mode
Light mode
Explorer
Tag: monoidal-streams
8 items with this tag.
May 02, 2025
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
monoidal-streams
May 02, 2025
Definitions of combs
monoidal-streams
May 02, 2025
Streams in cartesian monoidal categories
monoidal-streams
May 02, 2025
coinductive streams
monoidal-streams
May 02, 2025
effectful streams
monoidal-streams
May 02, 2025
monoidal streams
monoidal-streams
Apr 29, 2025
conditionals are unique up to ranges
markov-category
monoidal-streams
Apr 29, 2025
conditionals of a family
markov-category
monoidal-streams