MAIETTI, MARIA EMILIA
MAIETTI, MARIA EMILIA
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
An extensional Kleene realizability semantics for the Minimalist Foundation.
2015 Maietti, MARIA EMILIA; Maschio, Samuele
Handbook of Constructive Mathematics
2023 Maietti, MARIA EMILIA
Predicative exponentiation of locally compact formal topologies over inductively generated ones
2005 Maietti, MARIA EMILIA
Relating quotient completions via categorical logic.
2016 Maietti, MARIA EMILIA; Rosolini, Giuseppe
Toward a minimalist foundation for constructive mathematics
2005 Maietti, MARIA EMILIA; Sambin, Giovanni