59 citations · 224 across the 22 of their papers we have counts for
1 paper · 1 filter
Daniel Murfet, William Troiani
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-eliminat…