Nick Benton, Martin Hyland. Traced Premonoidal Categories. ITA, 37(4):273-299, 2003. [doi]
@article{BentonH03, title = {Traced Premonoidal Categories}, author = {Nick Benton and Martin Hyland}, year = {2003}, doi = {10.1051/ita:2003020}, url = {http://dx.doi.org/10.1051/ita:2003020}, researchr = {https://researchr.org/publication/BentonH03}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {37}, number = {4}, pages = {273-299}, }