4 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Daniel de Carvalho, Lorenzo Tortora de Falco
We prove that given two cut free nets of linear logic, by means of their relational interpretations one can: 1) first determine whether or not the net obtained by cutting the two n…