Mario Román

❯

❯

Program Logics via Distributive Monoidal Categories (Bonchi, Di Lavore, Román, Staton, 2025)

Program Logics via Distributive Monoidal Categories (Bonchi, Di Lavore, Román, Staton, 2025)

Mar 04, 20261 min read

distributive language

Graph View

Backlinks

distributive language
imperative language

Mario Román (2026), CC-BY-SA. Human written, using Quartz and Write.

GitHub
ArXiv
OrcID