2 papers
cs.LO2026
Syntax and semantics of focalisation with relative monads and comonads
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
The logical principles of focalisation and polarisation can be used to design well-behaved term syntaxes for sequent calculus, which play a role as meta-languages for describing ef…
cs.LO2025
Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
In the spirit of the Curry-Howard correspondence between proofs and programs, we define and study a syntax and semantics for classical logic equipped with a computationally involut…