4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Yingte Xu, Gilles Barthe, Li Zhou
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the…