[TYPES] Quantun functional programming

[Andre van Tonder]

Dear Thorsten and Jonathan,

Your paper looks very interesting, especially in its use of linear types for
controlling decoherence.  You may be interested in having 
a glance at the following papers, which use linear types for much the same 
purpose:

A Lambda Calculus for Quantum Computation  - Andre van Tonder
(to appear in SIAM Journal of Computing)

     http://www.arxiv.org/abs/quant-ph/0307150
     
Quantum Computation, Categorical Semantics and Linear Logic - Andre van Tonder

     http://www.arxiv.org/abs/quant-ph/0312174
     
Best regards
Andre van Tonder
Physics Department
Brown University

 > X-Keywords: 
 > X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $
 > Date: Tue, 20 Jul 2004 18:06:17 +0100
 > From: Thorsten Altenkirch <txa at cs.nott.ac.uk>
 > User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6b) Gecko/20031210
 > X-Accept-Language: en-us, en
 > MIME-Version: 1.0
 > To: types at cis.upenn.edu
 > Content-Transfer-Encoding: 7bit
 > X-Mailman-Approved-At: Tue, 20 Jul 2004 15:05:19 -0400
 > Cc: Jonathan Grattage <jjg at cs.nott.ac.uk>
 > Subject: [TYPES] Quantun functional programming
 > X-BeenThere: types-list at lists.seas.upenn.edu
 > X-Mailman-Version: 2.1.2
 > List-Id: TYPES forum  <types-list.lists.seas.upenn.edu>
 > List-Unsubscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, 
<mailto:types-list-request at lists.seas.upenn.edu?subject=unsubscribe>
 > List-Archive: <http://lists.seas.upenn.edu/pipermail/types-list>
 > List-Post: <mailto:types-list at lists.seas.upenn.edu>
 > List-Help: <mailto:types-list-request at lists.seas.upenn.edu?subject=help>
 > List-Subscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, 
<mailto:types-list-request at lists.seas.upenn.edu?subject=subscribe>
 > X-Spam-Checker-Version: SpamAssassin 2.61 (1.212.2.1-2003-12-09-exp) on  
later.het.brown.edu
 > X-Spam-Status: No, hits=0.0 required=5.0 tests=none autolearn=ham 
version=2.61
 > X-Spam-Level: 
 > 
 > [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
 > 
 > We have recently finished the first draft of a paper on functional 
 > quantum programming.
 > See http://www.cs.nott.ac.uk/~txa/publ/qml-draft.pdf
 > Any comments are welcome.
 > 
 > Thorsten
 >