BDBComp
Parceria:
SBC
Reasoning about General Quantum Programs over Mixed States

Juliana Kaizer VizzottoGiovani Rubert LibrelottoAmr Sabry

In this work we present a functional programming language for quantum computation over mixed states. More interestingly, we develop a set of equations for the resulting programming language, proposing the first framework for equational reasoning about quantum computations over mixed states.

http://www.springerlink.com/content/hv25l75n70q87158/

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD