An Algebra of Pure Quantum Programming

Simple item page
dc.creatorAltenkirch, Thorsten
dc.creatorGrattage, Jonathan
dc.creatorVizzotto, Juliana K.
dc.creatorSabry, Amr
dc.date2005-06-01
dc.date.accessioned2026-07-07T09:37:09Z
dc.date.available2026-07-07T09:37:09Z
dc.descriptionWe 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.
dc.descriptionTo appear in ENTCS, 3rd International Workshop on Quantum Programming Languages, 2005. 21 Pages
dc.identifierhttps://arxiv.org/abs/quant-ph/0506012
dc.identifierhttp://arxiv.org/abs/quant-ph/0506012
dc.identifierElectronic Notes in Theoretical Computer Science, Volume 170, 6 March 2007, Pages 23-47
dc.identifierdoi:10.1016/j.entcs.2006.12.010
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/160357
dc.subjectQuantum Physics
dc.titleAn Algebra of Pure Quantum Programming
dc.typetext

Files

Collections

arXiv