The Largest Topological Subcategory of Countably-based Equilogical Spaces. - Matías Menni; Alex K. Simpson (MFPS, 1999)

More exact completions that are toposes. - Matías Menni (Ann. Pure Appl. Log., 2002)

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces. - Matías Menni; Alex K. Simpson (Math. Struct. Comput. Sci., 2002)

About N-quantifiers. - Matías Menni (Appl. Categorical Struct., 2003)

Combinatorial functional and differential equations applied to differential posets. - Matías Menni (Discret. Math., 2008)

On Some Categories of Involutive Centered Residuated Lattices. - José L. Castiglioni; Matías Menni; Marta Sagastume (Stud Logica, 2008)

Läuchli's Completeness Theorem from a Topos-Theoretic Perspective. - Matías Menni (Appl. Categorical Struct., 2010)

Modes of Adjointness. - Matías Menni; C. Smith (J. Philos. Log., 2014)

Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category. - Matías Menni (Appl. Categorical Struct., 2017)

The Unity and Identity of Decidable Objects and double-Negation sheaves. - Matías Menni (J. Symb. Log., 2018)

Maps with Discrete Fibers and the Origin of Basepoints. - Matías Menni (Appl. Categorical Struct., 2022)