Scholarly Works

Reasoning about General Quantum Programs over...

Reasoning about General Quantum Programs over Mixed States

Abstract

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.

Authors

Vizzotto JK; Librelotto GR; Sabry A

Series

Lecture Notes in Computer Science

Volume

5902

Pagination

pp. 321-335

Publisher

Springer Nature

Publication Date

January 1, 2009

DOI

10.1007/978-3-642-10452-7_22

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743

Associated Experts

Amr Sabry

Adjunct Lecturer, Faculty of Engineering

Labels

Fields of Research (FoR)

46 Information and computing sciences 4602 Artificial Intelligence

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback