An Algebra of Pure Quantum Programming
量子物理
2008-05-06 v1
摘要
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements.
引用
@article{arxiv.quant-ph/0506012,
title = {An Algebra of Pure Quantum Programming},
author = {Thorsten Altenkirch and Jonathan Grattage and Juliana K. Vizzotto and Amr Sabry},
journal= {arXiv preprint arXiv:quant-ph/0506012},
year = {2008}
}
备注
To appear in ENTCS, 3rd International Workshop on Quantum Programming Languages, 2005. 21 Pages