19 citations · 42 across the 6 of their papers we have counts for
1 paper · 1 filter
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…