Mario Román

❯

❯

effectful transition systems in do notation

effectful transition systems in do-notation

Jan 04, 20241 min read

effectful-transition-systems-in-do-notation

do-notation - theory of symmetric monoidal categories

Graph View

Backlinks

effectful Mealy machine
transition system

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID