References

Cheung2026Enter

N. Cheung, The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement, Frontiers in Physics, Quantum Engineering and Technology, accepted 28 September 2026. Publisher lists volume 14 (2026); final formatted version pending on the accepted-article page checked 10 October 2026. DOI: 10.3389/fphy.2026.1954943.

CheungI

N. Cheung, Manuscript I, version 1, Enter Calculus Companion, undated manuscript. Supplied passage: “Problem: a fixed language and a variable Enter.” Documentary comparison for destructive measurement. Companion registry: https://enter.grok.me.

CheungVIIE

N. Cheung, Manuscript VII-E, version 1, Enter Calculus Companion, undated manuscript. Supplied passage: “The closed observation problem: results and dependencies.” Documentary comparison; no external proof is used.

CheungVIIJ

N. Cheung, Manuscript VII-J, version 1, Enter Calculus Companion, undated manuscript. Documentary source record for scheduled reachability, no-signalling, and fixed-cone gate certificates. The schedule and no-signalling labels are supplied in the revision summary; selected fixed-cone passages were also supplied. No full-manuscript verification is claimed.

CheungPsy02A

N. Cheung, Manuscript Psy02-A, Enter Calculus Companion, undated manuscript. Cited from supplied statement summaries identifying prop:instrument, thm:readout, and prop:noise. Documentary source record, not a verified journal publication.

CheungPsy02B

N. Cheung, Manuscript Psy02-B, Enter Calculus Companion, undated manuscript. Cited from supplied summaries identifying thm:process, thm:overlap, and thm:sampling. Complete-process comparison only.

CheungPsy03A

N. Cheung, Manuscript Psy03-A, Enter Calculus Companion, undated manuscript. Cited from supplied summaries identifying thm:classicalboundary and thm:evaluation. No network or biological model is imported.

CheungPsy03B

N. Cheung, Manuscript Psy03-B, Enter Calculus Companion, undated manuscript. Cited from supplied summaries identifying def:state and thm:operationalmemory. Classical-register process comparison only.

CheungPsy03C

N. Cheung, Manuscript Psy03-C, Enter Calculus Companion, undated manuscript. Cited from the supplied summary of prop:register. Persistent-register comparison only.

CheungPsy03D

N. Cheung, Manuscript Psy03-D, Enter Calculus Companion, undated manuscript. Cited from supplied summaries identifying prop:leakage, cor:qobstruction, and thm:sequencehoeffding. Observation and independent-sequence comparison only.

CheungPsy04A

N. Cheung, Psy04-A source record, undated supplied manuscript summary. Delayed-access storage boundary, identified as ass:boundary in the revision materials. A complete manuscript and independently verified publication record were not available; no theorem is imported from it.

CheungEm05A

N. Cheung, Manuscript Em05-A, Enter Calculus Companion, undated manuscript. Supplied source-summary comparison for thm:channels, fixed-spectator conventions, and half-diamond distance normalization. No extraction model is imported.

CheungEm06B

N. Cheung, Manuscript Em06-B, Enter Calculus Companion, undated manuscript. Supplied source-summary comparison for finite propagation, thm:input-stability, and cor:combined. No scalar equation or coefficient is imported.

CheungEn01B

N. Cheung, Manuscript En01-B, Enter Calculus Companion, undated manuscript. Cited from the supplied summary of prop:residual. Residual-accounting comparison only; no apparatus model is imported.

Watrous2018

J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018.

GurevichBlass2022

Y. Gurevich and A. Blass, Quantum circuits with classical channels and the principle of deferred measurements, Theoretical Computer Science 920 (2022), 21–32. arXiv:2107.08324.

DeserJackiwHooft1984

S. Deser, R. Jackiw, and G. 't Hooft, Three-dimensional Einstein gravity: dynamics of flat space, Annals of Physics 152 (1984), 220–235.

tHooft1992

G. 't Hooft, Causality in (2+1)-dimensional gravity, Classical and Quantum Gravity 9 (1992), 1335–1348.

tHooft1993

G. 't Hooft, The evolution of gravitating point particles in 2+1 dimensions, Classical and Quantum Gravity 10 (1993), 1023–1038.

Kadar2005

Z. Kádár, Polygon model from first order gravity, Classical and Quantum Gravity 22 (2005), 809–824. arXiv:gr-qc/0410012.

Fritz2013

T. Fritz, Velocity polytopes of periodic graphs and a no-go theorem for digital physics, Discrete Mathematics 313 (2013), 1289–1301. arXiv:1109.1963.

BombelliHensonSorkin2009

L. Bombelli, J. Henson, and R. D. Sorkin, Discreteness without symmetry breaking: a theorem, Modern Physics Letters A 24 (2009), 2579–2587. arXiv:gr-qc/0605006.

Collins2004

J. Collins, A. Perez, D. Sudarsky, L. Urrutia, and H. Vucetich, Lorentz invariance and quantum gravity: an additional fine-tuning problem?, Physical Review Letters 93 (2004), 191301. arXiv:gr-qc/0403053.

Hoeffding1963

W. Hoeffding, Probability inequalities for sums of bounded random variables, Journal of the American Statistical Association 58 (1963), 13–30.