[TYPES] Update: Quantum functional programming

Thorsten Altenkirch txa at cs.nott.ac.uk
Fri Sep 10 16:26:23 EDT 2004

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


We also cite Andre van Tonder's papers.


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.

More information about the Types-list mailing list