Basis-Sensitive Quantum Typing via Realisability

Alejandro Díaz-Caro, Octavio Malherbe, Rafael Romero

We present $\hat{I}{»}_B$, a quantum-control $\hat{I}»$-calculus that refines previous basis-sensitive systems by allowing abstractions to be expressed with respect to arbitrary -- possibly enta…