2 papers
cs.LO2026
A Classical Linear -Calculus based on Contraposition
Pablo Barenbaum, Eduardo Bonelli, Leopoldo Lerena
We present a novel linear -calculus for Classical Multiplicative Exponential Linear Logic (\MELL) along the lines of the propositions-as-types paradigm. Starting from the stand…
cs.LO2025
Sharing and Linear Logic with Restricted Access (Extended Version)
Pablo Barenbaum, Eduardo Bonelli
The two Girard translations provide two different means of obtaining embeddings of Intuitionistic Logic into Linear Logic, corresponding to different lambda-calculus calling mechan…