Ms Selene Linares Arevalo
Research Fellow in Computer Science
Faculty of Engineering and Information Technology
6 Scholarly works
0 Projects
HIGHLIGHTS
2026
Book Chapter
Memory Safety: Uniqueness as Separation
DOI: 10.1007/978-981-95-3585-9_12022
Journal article
A dual-context sequent calculus for the constructive modal logic S4
DOI: 10.1017/S09601295220003782020
Journal article
On Interactive Proof-Search for Constructive Modal Necessity
DOI: 10.1016/j.entcs.2020.10.0092020
Journal article
Interactive proof-search for equational reasoning
DOI: 10.1093/jigpal/jzaa0132020
Journal article
Dual and axiomatic systems for constructive S4, a formally verified equivalence
DOI: 10.1016/j.entcs.2020.02.0052019
Journal article
Axiomatic and dual systems for constructive necessity, a formally verified equivalence
DOI: 10.1080/11663081.2019.1647653