activity
20082025
most citedA minimalist two-level foundation for constructive mathematics

82 citations · 120 across the 21 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

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.…