MAIETTI, MARIA EMILIA

MAIETTI, MARIA EMILIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.02 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 - -
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
About effective quotients in constructive type theory 1999 MAIETTI, MARIA EMILIA LECTURE NOTES IN COMPUTER SCIENCE - Types for Proofs and Programs
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)
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 - -
Categorical models for intuitionistic and linear type theory 2000 MAIETTI, MARIA EMILIA + LECTURE NOTES IN COMPUTER SCIENCE - Foundations of Software Science and Computation Structures
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 - -
Exponentiation of Scott formal topologies 2004 MAIETTI, MARIA EMILIAVALENTINI, SILVIO ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - Proceedings of the Workshop Domains VI
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 2011 MAIETTI, MARIA EMILIASAMBIN, GIOVANNIVALENTINI, SILVIO + LECTURE NOTES IN COMPUTER SCIENCE - Intelligent Computer Mathematics, LNCS
Handbook of Constructive Mathematics 2023 Maria Emilia Maietti - - Handbook of Constructive Mathematics