MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 42 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Equiconsistency of the Minimalist Foundation with its classical version 2025 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 - -