dc.contributor.author | Bayeh, Fahimeh | |
dc.date.accessioned | 2021-08-31T15:42:29Z | |
dc.date.available | 2021-08-31T15:42:29Z | |
dc.date.issued | 2021-08-31T15:42:29Z | |
dc.identifier.uri | http://hdl.handle.net/10222/80776 | |
dc.description.abstract | In this work, we lay the foundation for defining a category of quantum domains and developing a model for quantum programming language. We give a definition of quantum domains, which act as objects of the category. In this definition, we consider systems which deal with 'progressive information'. Also, we give a definition of progressive superoperators for finite domains. In the category of quantum domains, the progressive superoperators act as the morphisms of the category. | en_US |
dc.language.iso | en | en_US |
dc.subject | Quantum Domain Theory | en_US |
dc.subject | Quantum Computing | en_US |
dc.subject | Domain Theory | en_US |
dc.subject | Category Theory | en_US |
dc.subject | Quantum Programming Languages | en_US |
dc.title | Towards A Theory Of Quantum Domains | en_US |
dc.date.defence | 2021-08-16 | |
dc.contributor.department | Department of Mathematics & Statistics - Math Division | en_US |
dc.contributor.degree | Master of Science | en_US |
dc.contributor.external-examiner | N/A | en_US |
dc.contributor.graduate-coordinator | Dr. Sara Faridi | en_US |
dc.contributor.thesis-reader | Dr. Neil J. Ross | en_US |
dc.contributor.thesis-reader | Dr. Robert Paré | en_US |
dc.contributor.thesis-supervisor | Dr. Peter Selinger | en_US |
dc.contributor.ethics-approval | Not Applicable | en_US |
dc.contributor.manuscripts | Not Applicable | en_US |
dc.contributor.copyright-release | Not Applicable | en_US |