1 paper
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…