• Higher-order semantics for qua...

Treffer: Higher-order semantics for quantum programming languages with classical control

Title:
Higher-order semantics for quantum programming languages with classical control
Authors:
Atzemoglou, George Philip
Contributors:
Abramsky, Samson, Coecke, Bob
Publisher Information:
University of Oxford, 2012.
Publication Year:
2012
Collection:
University of Oxford
Subject Terms:
006.3, Theory and automated verification, Computer science (mathematics), Mathematical logic and foundations, Quantum theory (mathematics), computer science, quantum computing, programming languages, lambda calculus, category theory, logic
Document Type:
Dissertation Electronic Thesis or Dissertation
Language:
English
Access URL:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403
Accession Number:
edsble.588403
Database:
British Library EThOS

Weitere Informationen

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. Finally, our third contribution demonstrates how our lambda calculus can be applied to various well known problems in quantum computation: Quantum Key Distribution, the quantum Fourier transform, and the teleportation protocol.