Li, Yangjia; Yu, Nengkun; Ying, Mingsheng Termination of nondeterministic quantum programs. (English) Zbl 1359.68092 Acta Inf. 51, No. 1, 1-24 (2014). MSC: 68Q12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Vizzotto, Juliana Kaizer; da Rocha Costa, Antônio Carlos; Sabry, Amr Quantum arrows in Haskell. (English) Zbl 1279.68047 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, 139-152 (2008). MSC: 68N18 68N15 81P68 × Cite Format Result Cite Review PDF Full Text: DOI