A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912775098335232 |
|---|---|
| author | Díaz-Caro, Alejandro Monzon, Nicolas A. |
| author_facet | Díaz-Caro, Alejandro Monzon, Nicolas A. |
| contents | We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lambda-SX enables more flexible control and compositional reasoning about measurements. We formalise its syntax, typing rules, subtyping, and operational semantics, and establish its key meta-theoretical properties. This proof-of-concept shows that support for multiple bases can be coherently integrated into the type discipline of quantum programming languages. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_16244 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases Díaz-Caro, Alejandro Monzon, Nicolas A. Logic in Computer Science Quantum Physics We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lambda-SX enables more flexible control and compositional reasoning about measurements. We formalise its syntax, typing rules, subtyping, and operational semantics, and establish its key meta-theoretical properties. This proof-of-concept shows that support for multiple bases can be coherently integrated into the type discipline of quantum programming languages. |
| title | A Quantum-Control Lambda-Calculus with Multiple Measurement Bases |
| topic | Logic in Computer Science Quantum Physics |
| url | https://arxiv.org/abs/2506.16244 |