Mario Román

Search

Search IconIcon to open search

Promonads and String Diagrams for Effectful Categories (Román, 2022)

Last updated Nov 27, 2022

premonoidal-program Effectful program in string diagrammatic notation and arrow-do notation.

# How to cite

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
@inproceedings{effectful22,
  author    = {Mario Rom{\'{a}}n},
  title     = {Promonads and String Diagrams for Effectful Categories},
  booktitle = {{ACT} '22: Applied Category Theory, Glasgow, United Kingdom, 18 - 22 July, 2022},
  volume    = {abs/2205.07664},
  year      = {2022},
  url       = {https://doi.org/10.48550/arXiv.2205.07664},
  doi       = {10.48550/arXiv.2205.07664},
  eprinttype = {arXiv},
  eprint    = {2205.07664},
  timestamp = {Wed, 18 May 2022 10:38:32 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2205-07664.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Some references.

#active #index