Conference item icon

Conference item

Classical control and quantum circuits in enriched category theory

Abstract:

We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language, such that the circuit language is embedded inside the host language. Our categorical semantics for the host language is standard, and involves cartesian closed categories and monads. We interpret t...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed (other)
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2018.03.027

Authors


Rennela, M More by this author
More by this author
Department:
Oxford, MPLS, Computer Science
Royal Society Fellowship More from this funder
Publisher:
Elsevier Publisher's website
Volume:
336
Pages:
257-279
Publication date:
2018-04-17
Acceptance date:
2017-05-03
DOI:
EISSN:
1571-0661
ISSN:
1571-0661
Pubs id:
pubs:701249
URN:
uri:82705340-fda0-450f-96a0-f92b1440d46b
UUID:
uuid:82705340-fda0-450f-96a0-f92b1440d46b
Local pid:
pubs:701249

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP