Mario Román

Home

❯

notes

❯

pieces

❯

effectful streams

effectful streams

May 02, 20251 min read

  • monoidal-streams

See also.

  • isolated effectful stream
  • effectful machine

Tags: effectful trace equivalence, effectful machine bisimilarity.

References

  • Effectful Traces via Effectful Streams (Bonchi, Di Lavore, Román, 2024)
  • Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Graph View

Backlinks

  • isolated stream dinaturality

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

  • GitHub
  • ArXiv
  • OrcID