1. What have the authors stated for future works in "A functional quantum programming language" ?
As discussed in section 6. 5. 5, the direct use of an 8. further research 165 inner-product judgement on terms would be a step towards achieving this.. In future this work could be extended to cover the full language, including measurement, to provide a normalisation function and equational reasoning principles for the entire language.
read more
2. What are the contributions in "A functional quantum programming language" ?
This thesis introduces the language QML, a functional language for quantum computations on finite types.. The design of QML is guided by the categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides a constructive operational semantics of irreversible quantum computations, realisable as quantum circuits.. A denotational semantics of QML programs is presented, which maps QML terms into superoperators, via the operational semantics, made precise by the category Q. Extensional equality for QML programs is also presented, via a mapping from FQC morphisms into the category Q.
read more
3. Who is the author of this essay?
I’d like to thank my family, whose support and encouragement has beeniiiivinvaluable: my wife Janine, my parents Ruth and Trevor, my siblings Rebecca and Stephen, and my grandparents Henry and Ella Swinney, and also to Tess.
read more
4. Who is the author of this thesis?
Thanks are also due to the EPSRC and the LMS, who jointly funded this research via the MathFIT initiative, to the QNET Semantics of Quantum Computation Network, and also to the many other bodies that have funded me in various ways.
read more
