.png){kind=icon}
.png){kind=icon}
Return
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
.png){kind=icon}
PRE
AI
DOI：10.1007/978-981-95-3585-9_8.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
Quantum lambda-calculus
Type systems
Subtyping
Quantum control
Multiple measurement bases
Journal
P
IF:
0
Papers:
13
Citations:
0