activity
20192024
most citedOverlap Algebras: a Constructive Look at Complete Boolean Algebras

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2022 · math.LOShow all

1 paper · 2 filters

math.LO2022

The Compatibility of the Minimalist Foundation with Homotopy Type Theory

Michele Contente, Maria Emilia Maietti

The Minimalist Foundation, for short MF, is a two-level foundation for constructive mathematics ideated by Maietti and Sambin in 2005 and then fully formalized by Maietti in 2009.…