MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Handbook of Constructive Mathematics 2023 Maria Emilia Maietti - - Handbook of Constructive Mathematics
Relating quotient completions via categorical logic. 2016 MAIETTI, MARIA EMILIAROSOLINI, GIUSEPPE - - Concepts of Proof in Mathematics, Philosophy, and Computer Science
An extensional Kleene realizability semantics for the Minimalist Foundation. 2015 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 20th International Conference on Types for Proofs and Programs (TYPES 2014)
Predicative exponentiation of locally compact formal topologies over inductively generated ones 2005 MAIETTI, MARIA EMILIA - - From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics
Toward a minimalist foundation for constructive mathematics 2005 MAIETTI, MARIA EMILIASAMBIN, GIOVANNI - - From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics