9 citations · 15 across the 26 of their papers we have counts for
1 paper · 1 filter
Jean-Pierre Magnot
We introduce a graded graph-series semantics for recursive hybrid quantum programs interpreted in the quantum orchestra monad. Finite terminating executions are represented by dire…