%0 Journal Article
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%@nexthigherunit 8JMKD3MGPCW/3EUFCFP
%@archivingpolicy denypublisher allowfinaldraft
%3 1-s2.0-S1571066107000540-main.pdf
%X 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.
%8 March
%T An algebra of pure quantum programming
%@electronicmailaddress txa@cs.nottingham.ac.uk
%@electronicmailaddress jjg@cs.nottingham.ac.uk
%@electronicmailaddress juvizzotto@gmail.com
%@electronicmailaddress sabry@indiana.edu
%K denotational semantics, completeness, normalisation.
%@secondarytype PRE PI
%@usergroup administrator
%@usergroup banon
%@usergroup seeger05
%@group
%@group
%@group RSU-INPE-MCT-BR
%@secondarykey INPE--PRE/
%U http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4N5F0H9-3&_user=687358&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000037899&_version=1&_urlVersion=0&_userid=687358&md5=88e4497f9c66fd6cfdc3758a1e851c2e
%@issn 1571-0661
%2 sid.inpe.br/mtc-m17@80/2007/12.11.14.02.22
%@affiliation The University of Nottingham, UK
%@affiliation The University of Nottingham, UK
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Indiana University, USA
%B Electronic Notes in Theoretical Computer Science
%@versiontype publisher
%P 23-47
%4 sid.inpe.br/mtc-m17@80/2007/12.11.14.02
%@documentstage not transferred
%D 2007
%V 170
%@doi 10.1016/j.entcs.2006.12.010
%A Altenkirch, Thorsten,
%A Grattage, Jonathan,
%A Vizzotto, Juliana Kaizer,
%A Sabry, Amr,
%@dissemination PORTALCAPES; COMPENDEX.
%@area COMP