Work

Predicative Quantum Programming

Year: 2010
Type: dissertation
Abstract: This work presents Quantum Predicative Programming --- a theory ofquantum programming that encompasses many aspects of quantum computation and quantum communication. The theory provides a methodology to specify, implement, and analyse quantum algorithms, the paradigm of quantum non-locality, quantum pseudotelepathy games, computing with mixed states, and quantum communication protocols that use both quantum and classical communication channels.
Language: English
Open Access status: green
OpenAlex ID: W3154269416
Cites: 54
Cited by: 1
Related to: 10