تقرير
Linear Logic and Quantum Error Correcting Codes
| العنوان: | Linear Logic and Quantum Error Correcting Codes |
|---|---|
| المؤلفون: | Murfet, Daniel, Troiani, William |
| سنة النشر: | 2024 |
| المجموعة: | Mathematics Quantum Physics |
| مصطلحات موضوعية: | Mathematics - Logic, Quantum Physics |
| الوصف: | 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. |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2405.19051 |
| رقم الأكسشن: | edsarx.2405.19051 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |