Jorrand, Philippe; Perdrix, Simon Abstract interpretation techniques for quantum computation. (English) Zbl 1209.68251 Gay, Simon (ed.) et al., Semantic techniques in quantum computation. Cambridge: Cambridge University Press (ISBN 978-0-521-51374-6/hbk). 206-234 (2010). MSC: 68Q05 68Q10 68Q55 81P68 PDFBibTeX XMLCite \textit{P. Jorrand} and \textit{S. Perdrix}, in: Semantic techniques in quantum computation. Cambridge: Cambridge University Press. 206--234 (2010; Zbl 1209.68251)
Jorrand, Philippe; Perdrix, Simon Towards a quantum calculus (work in progress, extended abstract). (English) Zbl 1279.81039 Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 75-83 (2008). MSC: 81P68 68N15 68Q05 68Q55 81P10 PDFBibTeX XMLCite \textit{P. Jorrand} and \textit{S. Perdrix}, Electron. Notes Theor. Comput. Sci. 210, 75--83 (2008; Zbl 1279.81039) Full Text: DOI
Perdrix, Simon; Jorrand, Philippe Classically-controlled quantum computation. (English) Zbl 1272.81041 Fernández, Maribel (ed.) et al., Proceedings of the 1st international workshop on developments in computational models (DCM 2005), Lisbon, Portugal, July 10, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 3, 119-128 (2006). MSC: 81P68 68Q05 PDFBibTeX XMLCite \textit{S. Perdrix} and \textit{P. Jorrand}, Electron. Notes Theor. Comput. Sci. 135, No. 3, 119--128 (2006; Zbl 1272.81041) Full Text: arXiv Link
Perdrix, Simon; Jorrand, Philippe Classically controlled quantum computation. (English) Zbl 1122.68061 Math. Struct. Comput. Sci. 16, No. 4, 601-620 (2006). MSC: 68Q10 81P68 PDFBibTeX XMLCite \textit{S. Perdrix} and \textit{P. Jorrand}, Math. Struct. Comput. Sci. 16, No. 4, 601--620 (2006; Zbl 1122.68061) Full Text: DOI