The Many-Worlds Calculus

Kostia Chardonnet, Marc de Visme, BenoƮt Valiron, Renaud Vilmart. The Many-Worlds Calculus. Logical Methods in Computer Science, 21(2), 2025. [doi]

Abstract

Abstract is missing.