11 citations · 12 across the 4 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…