← Back to papers
Linear Logic and Quantum Error Correcting Codes
Daniel Murfet, W. Troiani·May 29, 2024
MathematicsPhysics
AI Breakdown
Get a structured breakdown of this paper — what it's about, the core idea, and key takeaways for the field.
Abstract
We develop a point of view on reduction of multiplicative proof nets based on quantum error-correcting codes. To each proof net we associate a code, in such a way that cut-elimination corresponds to error correction.