Concepedia

Maria Emilia Maietti

ME

17

Publications

657

Citations

16

H-Index

1999

Active since

Affiliations

University of Padua(Current)

University of Genoa

Centro di Ricerca in Matematica Pura ed Applicata

Maria Emilia Maietti is an author at University of Padua specializing in automated reasoning, semantics, and linguistics.

Top concepts

Automated ReasoningLanguageSemanticsEngineeringLinguisticsComputer ScienceSyntaxIntuitionMinimalismFuzzy Logic

Publications per year

1999–2021

17

Publications

17

A minimalist two-level foundation for constructive mathematics

Maria Emilia Maietti · Annals of Pure and Applied Logic · 2009 · 82 citations · Full text

Automated Reasoning, Foundation Of Mathematics, Constructive Mathematics +1

Modular correspondence between dependent type theories and categories including pretopoi and topoi

Maria Emilia Maietti · Mathematical Structures in Computer Science · 2005 · 78 citations

Quotient Completion for the Foundation of Constructive Mathematics

Maria Emilia Maietti, Giuseppe Rosolini · Logica Universalis · 2013 · 61 citations

Constructive Mathematics, Automated Reasoning, Constructive Logic +2

Toward a minimalistic foundation for constructive mathematics.

Maria Emilia Maietti, Giovanni Sambin · Der Anaesthesist · 2005 · 52 citations

Convergence in formal topology: a unifying notion

Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin · Journal of Logic and Analysis · 2013 · 47 citations · Full text

Rows per page

1–5 of 17