1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12

@article{bentonHyland03,
  author       = {Nick Benton and
                  Martin Hyland},
  title        = {Traced Premonoidal Categories},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {37},
  number       = {4},
  pages        = {273--299},
  year         = {2003},
  url          = {https://doi.org/10.1051/ita:2003020},
  doi          = {10.1051/ITA:2003020},
}