Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
pieces
❯
values and computation
values and computation
May 11, 2025
1 min read
References.
Universal Properties of Impure Programming Languages (Staton, Levy)
Graph View
Backlinks
effectful multicategory
Premonoidal category
