journal 2 A Curry-Howard Correspondence for Linear, Reversible Computation Jul 20, 2025 The Many-Worlds Calculus May 13, 2025