Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Maietti, Maria Emilia
82  Ergebnisse:
Personensuche X
?
1

The compatibility of the minimalist foundation with homotop..:

Contente, Michele ; Maietti, Maria Emilia
Theoretical Computer Science.  991 (2024)  - p. 114421 , 2024
Link: https://doi.org/10.1016/..
 
?
2

A characterization of generalized existential completions:

Maietti, Maria Emilia ; Trotta, Davide
Annals of Pure and Applied Logic.  174 (2023)  4 - p. 103234 , 2023
Link: https://doi.org/10.1016/..
 
?
3

A topological counterpart of well-founded trees in dependen..:

Maietti, Maria Emilia ; Sabelli, Pietro
Electronic Notes in Theoretical Informatics and Computer Science.  3 - Proceedings of (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
4

Inductive and Coinductive Topological Generation with Churc..:

Maietti, Maria Emilia ; Maschio, Samuele ; Rathjen, Michael
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
5

A PREDICATIVE VARIANT OF HYLAND'S EFFECTIVE TOPOS:

MAIETTI, MARIA EMILIA ; MASCHIO, SAMUELE
The Journal of Symbolic Logic.  86 (2020)  2 - p. 433-447 , 2020
Link: https://doi.org/10.1017/..
 
?
6

Consistency of the intensional level of the Minimalist Foun..:

Ishihara, Hajime ; Maietti, Maria Emilia ; Maschio, Samuele.
Archive for Mathematical Logic.  57 (2018)  7-8 - p. 873-888 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Triposes, exact completions, and Hilbert's ε-operator:

Maietti, Maria Emilia ; Pasquali, Fabio ; Rosolini, Giuseppe
Tbilisi Mathematical Journal.  10 (2017)  3 - p. , 2017
Link: https://doi.org/10.1515/..
 
?
8

Preface:

Coquand, Thierry ; Maietti, Maria Emilia ; Sambin, Giovanni.
Annals of Pure and Applied Logic.  167 (2016)  9 - p. 725 , 2016
Link: https://doi.org/10.1016/..
 
?
9

Unifying Exact Completions:

Maietti, Maria Emilia ; Rosolini, Giuseppe
Applied Categorical Structures.  23 (2013)  1 - p. 43-52 , 2013
Link: https://doi.org/10.1007/..
 
?
10

Quotient Completion for the Foundation of Constructive Math..:

Maietti, Maria Emilia ; Rosolini, Giuseppe
Logica Universalis.  7 (2013)  3 - p. 371-402 , 2013
Link: https://doi.org/10.1007/..
 
?
11

An induction principle for consequence in arithmetic univer..:

Maietti, Maria Emilia ; Vickers, Steven
Journal of Pure and Applied Algebra.  216 (2012)  8-9 - p. 2049-2067 , 2012
Link: https://doi.org/10.1016/..
 
?
12

A minimalist two-level foundation for constructive mathemat..:

Maietti, Maria Emilia
Annals of Pure and Applied Logic.  160 (2009)  3 - p. 319-354 , 2009
Link: https://doi.org/10.1016/..
 
?
13

Relating Categorical Semantics for Intuitionistic Linear Lo..:

Maietti, Maria Emilia ; Maneggia, Paola ; de Paiva, Valeria.
Applied Categorical Structures.  13 (2005)  1 - p. 1-36 , 2005
Link: https://doi.org/10.1007/..
 
?
14

PREDICATIVE EXPONENTIATION OF LOCALLY COMPACT FORMAL TOPOLO..:

, In: From Sets and Types to Topology and Analysis,
Maietti, Maria Emilia - p. 202-222 , 2005
Link: https://doi.org/10.1093/..
 
?
15

TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS:

, In: From Sets and Types to Topology and Analysis,
Maietti, Maria Emilia ; Sambin, Giovanni - p. 91-114 , 2005
Link: https://doi.org/10.1093/..
 
1-15