Matías Menni

According to our database, Matías Menni authored at least 12 papers between 1999 and 2025.

Collaborative distances:

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

2025

Why the Kock-Lawvere axiom holds, and also doesn't, in the classifier of integral rigs.

Matías Menni

Math. Struct. Comput. Sci., 2025

2022

Maps with Discrete Fibers and the Origin of Basepoints.

Matías Menni

Appl. Categorical Struct., 2022

2018

The Unity and Identity of Decidable Objects and double-Negation sheaves.

Matías Menni

J. Symb. Log., 2018

2017

Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category.

Matías Menni

Appl. Categorical Struct., 2017

2014

Modes of Adjointness.

Matías Menni, C. Smith

J. Philos. Log., 2014

2010

Läuchli's Completeness Theorem from a Topos-Theoretic Perspective.

Matías Menni

Appl. Categorical Struct., 2010

2008

On Some Categories of Involutive Centered Residuated Lattices.

José L. Castiglioni, Matías Menni, Marta Sagastume

Stud Logica, 2008

Combinatorial functional and differential equations applied to differential posets.

Matías Menni

Discret. Math., 2008

2003

About N-quantifiers.

Matías Menni

Appl. Categorical Struct., 2003

2002

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces.

Matías Menni, Alex K. Simpson

Math. Struct. Comput. Sci., 2002

More exact completions that are toposes.

Matías Menni

Ann. Pure Appl. Log., 2002

1999

The Largest Topological Subcategory of Countably-based Equilogical Spaces.

Matías Menni, Alex K. Simpson

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999