Articles with public access mandates - Maria Emilia MaiettiLearn more
Available somewhere: 2
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7, 371-402, 2013
Mandates: Government of Italy
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
H Ishihara, ME Maietti, S Maschio, T Streicher
Archive for Mathematical Logic 57 (7), 873-888, 2018
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program