Manuscript IV@1 · IV.tex · bibliography · 351cb2d7
References
Declarations · lines 3748–3760
EnterCalculus
N. Cheung.
The Enter Calculus: A Linear Quantum Lambda Calculus with an
Operational Characterization of Measurement.
Frontiers in Physics, volume 14, 2026.
doi:10.3389/fphy.2026.1954943.
https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/.