Existe-t-il une formalisation du modèle de calcul pour les ordinateurs quantiques?

Question

Il existe plusieurs modèles de calcul équivalents, chacun capable de simuler mutuellement. Par exemple, le calcul lambda ou le calcul de ski qui sont basés sur la réécriture, le calcul de l'objet de Cardelli, les processus séquentiels communicants de Hoare, et bien sûr la machine Turing universelle, toutes définies formellement.

Je comprends que bien qu'il existe peut-être des façons différentes de construire des ordinateurs quantiques, les façons dont nous les construisons aujourd'hui sont de Turing-Complete et équivalentes aux autres modèles de calcul. Ma question est: quelqu'un a-t-il formalisé un modèle de calcul mathématique pour un ordinateur quantique (comme la onde D)? (En tant qu'autres modèles, je suppose que cela pourrait être utilisé comme langage de programmation.)

(Je comprends qu'une réponse possible serait "la mécanique quantique", mais ce n'est pas exactement ce que je recherche ...)