311 citations · 1.2k across the 38 of their papers we have counts for
1 paper · 1 filter
Octavio Malherbe, Philip J. Scott, Peter Selinger
This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove t…