Promonads and String Diagrams for Effectful Categories (Román, 2022)
Effectful program in string diagrammatic notation and arrow-do notation.
# How to cite
|
|
# Related notes
Some references.
#active #index
Search
Effectful program in string diagrammatic notation and arrow-do notation.
|
|
Some references.
#active #index