[TYPES] Update: Quantum functional programming

[Thorsten Altenkirch]

I have updated our paper on functional quantum programming -
the rules on orthogonality were unsound. Thanks to Amr Sabry
for pointing this out.

http://www.cs.nott.ac.uk/~txa/publ/qml-draft.pdf

We also cite Andre van Tonder's papers.

Cheers,
Thorsten

-- 
Dr. Thorsten Altenkirch		   phone : (+44) (0)115 84 66516
Lecturer			   http://www.cs.nott.ac.uk/~txa/
School of Computer Science & IT	   University of Nottingham

This message has been scanned but we cannot guarantee that it and any
attachments are free from viruses or other damaging content: you are
advised to perform your own checks.  Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.