19 citations · 74 across the 16 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2013★ 19 cited
Presheaf models of quantum computation: an outline
Octavio Malherbe, Philip Scott, Peter Selinger
This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lam…
math.CT2013★ 3 cited
Categorical models of computation: partially traced categories and presheaf models of quantum computation
Octavio Malherbe
This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representati…
math.CT2011★ 15 cited
Partially traced categories
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…