12 citations · 26 across the 14 of their papers we have counts for
1 paper · 2 filters
Olivier Brunet, Philippe Jorrand
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transform…