MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Equiconsistency of the Minimalist Foundation with its classical version In corso di stampa Maietti, Maria EmiliaSabelli, Pietro ANNALS OF PURE AND APPLIED LOGIC - -
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale 2024 Carrara, MassimilianoMaietti, Maria EmiliaMaschio, Samuele + - - -
Quotients, Pure existential completions and arithmetic universes 2024 MARIA EMILIA MAIETTIDAVIDE TROTTA THEORY AND APPLICATIONS OF CATEGORIES - -
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 2024 Maietti, Maria Emilia + THEORETICAL COMPUTER SCIENCE - -
A characterization of generalized existential completions 2023 Maietti M. E.Trotta D. ANNALS OF PURE AND APPLIED LOGIC - -
A topological counterpart of well-founded trees in dependent type theory 2023 Maria Emilia MaiettiPietro Sabelli - Electronic Notes in Theoretical Informatics and Computer Science A Topological Counterpart of Well-founded Trees in Dependent Type Theory
Handbook of Constructive Mathematics 2023 Maria Emilia Maietti - - Handbook of Constructive Mathematics
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 2022 Maietti M. E.Maschio S.Rathjen M. LOGICAL METHODS IN COMPUTER SCIENCE - -
A predicative variant of Hyland's effective topos 2021 Maietti Maria EmiliaMaschio Samuele THE JOURNAL OF SYMBOLIC LOGIC - -
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 2021 Maietti Maria EmiliaMaschio Samuele + LOGICAL METHODS IN COMPUTER SCIENCE - -
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 2019 Maria Emilia MaiettiFabio PasqualiGiuseppe Rosolini LOGICAL METHODS IN COMPUTER SCIENCE - -
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 2018 Maria Emilia MaiettiSamuele Maschio + ARCHIVE FOR MATHEMATICAL LOGIC - -
On choice rules in dependent type theory 2017 MAIETTI, MARIA EMILIA LECTURE NOTES IN COMPUTER SCIENCE - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Triposes, exact completions, and Hilbert's ε-operator 2017 Maria Emilia MaiettiFabio Pasquali + TBILISI MATHEMATICAL JOURNAL - -
A predicative variant of a realizability tripos for the Minimalist Foundation. 2016 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS - -
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)
Unifying exact completions 2015 MAIETTI, MARIA EMILIA + APPLIED CATEGORICAL STRUCTURES - -
Constructive version of Boolean algebra 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIA + LOGIC JOURNAL OF THE IGPL - -
Convergence in formal topology: a unifying notion 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIASAMBIN, GIOVANNI JOURNAL OF LOGIC AND ANALYSIS - -