Semantics for a higher-order functional programming language for quantum computation

Benoit Valiron
The objective of this thesis is to develop a semantics for higher-order quantum information. Following the work done in the author's M.Sc. thesis, we study a lambda calculus for quantum computation with classical control. The language features two important properties. The first one, arising from the so-called no-cloning theorem of quantum computation, is the need for a distinction between duplicable and non-duplicable elements. For keeping track of duplicability at higher order, we use a type...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.