Use this URL to cite or link to this record in EThOS:  http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588403 
Title:  Higherorder semantics for quantum programming languages with classical control  
Author:  Atzemoglou, George Philip  
Awarding Body:  University of Oxford  
Current Institution:  University of Oxford  
Date of Award:  2012  
Availability of Full Text: 


Abstract:  
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a threetier 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.


Supervisor:  Abramsky, Samson; Coecke, Bob  Sponsor:  Not available  
Qualification Name:  Thesis (Ph.D.)  Qualification Level:  Doctoral  
EThOS ID:  uk.bl.ethos.588403  DOI:  Not available  
Keywords:  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  
Share: 