MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.057 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A characterization of generalized existential completions 2023 Maietti M. E. + ANNALS OF PURE AND APPLIED LOGIC - -
A minimalist two-level foundation for constructive mathematics 2009 MAIETTI, MARIA EMILIA ANNALS OF PURE AND APPLIED LOGIC - -
A predicative variant of a realizability tripos for the Minimalist Foundation. 2016 MAIETTI, MARIA EMILIAMASCHIO, SAMUELE THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS - -
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 - -
A structural investigation on formal topology: coreflection of formal covers and exponentiability 2004 MAIETTI, MARIA EMILIAVALENTINI, SILVIO THE JOURNAL OF SYMBOLIC LOGIC - -
An induction principle for consequence in arithmetic universes. 2012 MAIETTI, MARIA EMILIA + JOURNAL OF PURE AND APPLIED ALGEBRA - -
Can you add power-sets to Martin-Loef intuitionistic set theory? 1999 MAIETTI, MARIA EMILIAVALENTINI, SILVIO MATHEMATICAL LOGIC QUARTERLY - -
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 - -
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 - -
Elementary quotient completion 2013 MAIETTI, MARIA EMILIA + THEORY AND APPLICATIONS OF CATEGORIES - -
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 2019 Maria Emilia MaiettiFabio PasqualiGiuseppe Rosolini LOGICAL METHODS IN COMPUTER SCIENCE - -
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 - -
Joyal's arithmetic universe as list-arithmetic pretopos 2010 MAIETTI, MARIA EMILIA THEORY AND APPLICATIONS OF CATEGORIES - -
Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi 2005 MAIETTI, MARIA EMILIA MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
Quotient completion for the foundation of constructive mathematics 2013 MAIETTI, MARIA EMILIA + LOGICA UNIVERSALIS - -
Relating Categorical Semantics for Intuitionistic Linear Logic 2005 MAIETTI, MARIA EMILIA + APPLIED CATEGORICAL STRUCTURES - -
Teoria dei tipi di universi categoriali. 1999 MAIETTI, MARIA EMILIA BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. A - -
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 2024 Maietti, Maria Emilia + THEORETICAL COMPUTER SCIENCE - -