5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.LO2017★ 5 cited
Taylor expansion in linear logic is invertible
Daniel de Carvalho
Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded into a differential net, which is its Taylor expansion. We prove that two different MELL proof-nets ha…
cs.LO2015
The relational model is injective for Multiplicative Exponential Linear Logic
Daniel de Carvalho
We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MEL…