Basis-Sensitive Quantum Typing via Realisability

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

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