Mario Román

Tag: monoidal-streams

8 items with this tag.

Sep 18, 2024
Definitions of combs
- monoidal-streams
Sep 18, 2024
Streams in cartesian monoidal categories
- monoidal-streams
Sep 18, 2024
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
- monoidal-streams
Jul 28, 2024
conditionals of a family
- markov-category
- monoidal-streams
Jan 30, 2024
conditionals are unique up to ranges
- markov-category
- monoidal-streams
Jan 09, 2024
effectful streams
- monoidal-streams
Jan 06, 2024
coinductive streams
- monoidal-streams
Aug 15, 2023
monoidal streams
- monoidal-streams

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID