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 show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic…