Mario Román

❯

❯

dinaturality for monoidal streams

dinaturality for monoidal streams

Jan 20, 20241 min read

dinaturality-for-monoidal-streams

Tags: dinaturality, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Graph View

Backlinks

Dinaturality

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

GitHub
ArXiv
OrcID