Thesis icon

Thesis

Higher-order semantics for quantum programming languages with classical control

Abstract:

This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus for dagger compact categories. Our second contribution lifts the expressive power of the dagger lambda calculus, to that of a quantum programming language, by adding classical control in the form of complementary classical structures and dualisers. Finall...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Quantum Group
Oxford college:
Wolfson College
Role:
Author

Contributors

Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
More from this funder
Funding agency for:
Atzemoglou, GP
More from this funder
Funding agency for:
Atzemoglou, GP
Publication date:
2012
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP