Formalising Basic Topology for Computational Logic in Simple Type Theory. - David Fuenmayor; Fabián Fernando Serrano Suárez (CICM, 2022)

Hall's Theorem for Enumerable Families of Finite Sets. - Fabián Fernando Serrano Suárez; Mauricio Ayala-Rincón; Thaynara Arielly de Lima (CICM, 2022)

Compactness Theorem for Propositional Logic and Combinatorial Applications. - Fabián Fernando Serrano Suárez; Thaynara Arielly de Lima; Mauricio Ayala-Rincón (Arch. Formal Proofs, 2024)