P. Selene Linares-Arévalo

According to our database, P. Selene Linares-Arévalo authored at least 6 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A dual-context sequent calculus for the constructive modal logic S4.

Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo

Math. Struct. Comput. Sci., October, 2022

Composing Linear Types and Separation Logic Proofs of Memory Safety.

Pilar Selene Linares-Arévalo

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2019

Axiomatic and dual systems for constructive necessity, a formally verified equivalence.

Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo

J. Appl. Non Class. Logics, 2019

Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence.

Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On interactive proof-search for constructive modal necessity.

Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2015

How to prove it in Natural Deduction: A Tactical Approach.

Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera

CoRR, 2015