MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
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)
Handbook of Constructive Mathematics 2023 Maria Emilia Maietti - - Handbook of Constructive Mathematics
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
Relating quotient completions via categorical logic. 2016 MAIETTI, MARIA EMILIAROSOLINI, GIUSEPPE - - Concepts of Proof in Mathematics, Philosophy, and Computer Science
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