@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},
}