A Linear Sup-Calculus for Quantum Measurement

Gilles Dowek. A Linear Sup-Calculus for Quantum Measurement. Bull. Comput. Data Sci., 5(4):12-32, 2024. [doi]

Abstract

Abstract is missing.