3 citations · 3 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
Michele Contente, Maria Emilia Maietti
It is well known that most constructive and predicative foundations aiming to develop Bishop's constructive analysis are incompatible with a classical predicative development of an…
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.…