( en | de | ru )

 

Disambiguation of "Maietti, Maria Emilia"

Author of the publication

copydeleteadd this publication to your clipboard
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice.

, , and . Log. Methods Comput. Sci., (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Emilia-Maria Patrut

Emilia Maria Mazur

Maria-Emilia Tsoutsoulopoulou

Maria Emília Carvalho Salgueiro

Emilia Schmid

 

Other publications of authors with the same name

Quotients over Minimal Type Theory.. CiE, volume 4497 of Lecture Notes in Computer Science, page 517-531. Springer, (2007)Constructive version of Boolean algebra., , and . Logic Journal of the IGPL, 21 (1): 44-62 (2013)Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice., , and . Log. Methods Comput. Sci., (2022)Modular correspondence between dependent type theories and categories including pretopoi and topoi.. Math. Struct. Comput. Sci., 15 (6): 1089-1149 (2005)On Choice Rules in Dependent Type Theory.. TAMC, volume 10185 of Lecture Notes in Computer Science, page 12-23. (2017)A characterization of generalized existential completions., and . Ann. Pure Appl. Log., 174 (4): 103234 (April 2023)Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies., , and . Logical Methods in Computer Science, (2019)Preface., , , and . Ann. Pure Appl. Log., 167 (9): 725 (2016)A Predicative Variant of a Realizability Tripos for the Minimalist Foundation., and . FLAP, 3 (4): 595-668 (2016)Toward a minimalistic foundation for constructive mathematics., and . From sets and types to topology and analysis, volume 48 of Oxford logic guides, Oxford University Press, (2005)