An Algebra of Pure Quantum Programming

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
To appear in ENTCS, 3rd International Workshop on Quantum Programming Languages, 2005. 21 Pages

Keywords

Quantum Physics

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/160357

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/quant-ph/0506012
 http://arxiv.org/abs/quant-ph/0506012
 Electronic Notes in Theoretical Computer Science, Volume 170, 6 March 2007, Pages 23-47
 doi:10.1016/j.entcs.2006.12.010

Collections

arXiv