Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.06646 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916199323926528 |
|---|---|
| author | Abramsky, Samson Jagadeesan, Radha |
| author_facet | Abramsky, Samson Jagadeesan, Radha |
| contents | We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of representing all unitary operators at base types. It is compatible with base types and realizable by unitary operators. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_06646 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Game Semantics for Higher-Order Unitary Quantum Computation Abramsky, Samson Jagadeesan, Radha Programming Languages Quantum Physics D.3.3; F.3.2 We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of representing all unitary operators at base types. It is compatible with base types and realizable by unitary operators. |
| title | Game Semantics for Higher-Order Unitary Quantum Computation |
| topic | Programming Languages Quantum Physics D.3.3; F.3.2 |
| url | https://arxiv.org/abs/2404.06646 |