Classiquement, il y a 3 façons populaires de penser au calcul: la machine de Turing, les circuits et le lambda-calcul (je l'utilise comme un tout pour la plupart des vues fonctionnelles). Tous les trois ont été des moyens fructueux de réfléchir à différents types de problèmes, et différents domaines utilisent une formulation différente pour cette raison.
Cependant, lorsque je travaille avec l'informatique quantique, je ne pense jamais qu'au modèle de circuit. A l'origine, le CQ était défini en termes de machines de Turing quantiques mais, autant que je sache, cette définition (bien qu'équivalent aux circuits quantiques si les deux sont formulés avec soin) n'a pas été aussi fructueuse. La 3ème formulation (en termes de lambda-calcul ou de paramètres fonctionnels similaires) ne me connaît pas du tout. D'où mes questions:
Quelles sont les définitions utiles du quantum lambda-calcul (ou d'autres paradigmes fonctionnels)?
Quels sous-champs de QIP gagnent en connaissances grâce à l’utilisation de cette formulation au lieu du modèle de circuit?
Remarques
Je suis conscient du fait que j'ignore beaucoup d'autres formalismes populaires tels que les automates cellulaires, les modèles de RAM, etc. Je les exclure surtout parce que je n'ai pas l'expérience de la pensée classique en termes de modèles, et encore moins quantique .
Je suis également conscient qu'il existe des alternatives populaires dans le cadre quantique, telles que la mesure, la topologie et l'adiabatique. Je n'en discute pas car je ne connais pas les homologues classiques.