MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.061 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
LOCAL CARTESIAN CLOSURE OF ELEMENTARY QUOTIENT COMPLETIONS 2026 Maria Emilia Maietti + THEORY AND APPLICATIONS OF CATEGORIES - -
Equiconsistency of the Minimalist Foundation with its classical version 2025 Maietti, Maria EmiliaSabelli, Pietro ANNALS OF PURE AND APPLIED LOGIC - -
Preface to the special issue for the 75th birthday of Dieter Spreen 2025 Maietti M. E. + JOURNAL OF LOGIC AND ANALYSIS - -
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale 2024 Carrara, MassimilianoMaietti, Maria EmiliaMaschio, Samuele + - - -
Preface: Advances in Homotopy Type Theory 2024 Maietti M. E. + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
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)