Linear Logic and Quantum Error Correcting Codes
arXiv:2405.19051
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.