3 papers
cs.LO2022
Separability and harmony in ecumenical systems
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now.…
cs.PL2021
Synchronous Forwarders
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with lin…
cs.LO2020
Focused Proof-search in the Logic of Bunched Implications
Alexander Gheorghiu, Sonia Marin
The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search…