Miguel Alfredo Nunes

According to our database, Miguel Alfredo Nunes authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2024

Soundness-Preserving Fusion of Modal Logics in Coq.

Miguel Alfredo Nunes, Karina Girardi Roggia, Paulo Torrens

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2022

A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.

Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022