45 citations · 82 across the 7 of their papers we have counts for
1 paper · 1 filter
Willem Heijltjes, Robin Houston
MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word p…