Statistics
Publications
4
Citations
79
H-Index
4
Active since
2015
Affiliations
Sonia Marin is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in formal methods, computer science, and deductive reasoning.
Publications per year
2015–2022
4
4
Label-free Modular Systems for Classical and Intuitionistic Modal Logics
Sonia Marin · 2015 · 39 citations · Full text
From axioms to synthetic inference rules via focusing
Sonia Marin, Dale Miller, Elaine Pimentel et al. · Annals of Pure and Applied Logic · 2022 · 16 citations · Full text
1–4 of 4