MAIETTI, MARIA EMILIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.172
EU - Europa 304
AS - Asia 205
SA - Sud America 1
Totale 2.682
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.170
IT - Italia 122
SG - Singapore 102
CN - Cina 69
FI - Finlandia 41
DE - Germania 33
UA - Ucraina 32
FR - Francia 29
VN - Vietnam 28
SE - Svezia 21
GB - Regno Unito 13
PT - Portogallo 7
IE - Irlanda 3
AM - Armenia 2
CA - Canada 2
HK - Hong Kong 2
AR - Argentina 1
GR - Grecia 1
JP - Giappone 1
KR - Corea 1
NL - Olanda 1
RU - Federazione Russa 1
Totale 2.682
Salva come PNG Salva come JPEG
Città #
Fairfield 359
Ann Arbor 269
Woodbridge 266
Houston 160
Jacksonville 140
Ashburn 132
Cambridge 125
Wilmington 119
Seattle 106
Chandler 96
Singapore 85
Princeton 48
San Diego 45
Padova 40
Dong Ket 28
Medford 27
Roxbury 24
Nanjing 19
Santa Clara 19
Des Moines 15
Helsinki 12
Beijing 10
Boardman 10
Hebei 8
London 7
Milan 7
Vigonza 7
Indiana 6
Jiaxing 6
Council Bluffs 5
Norwalk 5
Shenyang 5
Tianjin 5
Karlsruhe 4
New York 4
Ningbo 4
Dublin 3
Faenza 3
Genoa 3
Acton 2
Albaredo d'Adige 2
Braga 2
Dosso 2
Hangzhou 2
Hong Kong 2
Jinan 2
Nanchang 2
Phoenix 2
Rodgau 2
San Francisco 2
Trento 2
Yerevan 2
Bandhagen 1
Borås 1
Buenos Aires 1
Changsha 1
Florence 1
Guangzhou 1
Gwanak-gu 1
Hounslow 1
Islington 1
Messina 1
Mira 1
Mississauga 1
Moscow 1
Napoli 1
Nuremberg 1
Ponte Di Piave 1
Redmond 1
Rome 1
Sant'elena 1
Soragna 1
Taizhou 1
The Hague 1
Valdobbiadene 1
Verona 1
Wiesbaden 1
Wolgast 1
Zhengzhou 1
Ōtsu 1
Totale 2.290
Salva come PNG Salva come JPEG
Nome #
Unifying exact completions 140
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 134
Reflection into models of finite decidable FP-sketches in an arithmetic universe 125
Exponentiation of Scott formal topologies 123
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 117
Joyal's arithmetic universes via type theory 116
About effective quotients in constructive type theory 115
An induction principle for consequence in arithmetic universes. 104
Triposes, exact completions, and Hilbert's ε-operator 97
A minimalist two-level foundation for constructive mathematics 95
Toward a minimalist foundation for constructive mathematics 90
Why topology in the Minimalist Foundation must be pointfree 87
Convergence in formal topology: a unifying notion 86
Categorical models for intuitionistic and linear type theory 83
Quotient completion for the foundation of constructive mathematics 83
On choice rules in dependent type theory 83
A structural investigation on formal topology: coreflection of formal covers and exponentiability 82
Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi 80
Relating Categorical Semantics for Intuitionistic Linear Logic 78
Relating quotient completions via categorical logic. 78
Constructive version of Boolean algebra 73
Can you add power-sets to Martin-Loef intuitionistic set theory? 66
The internal type theory of an Heyting Pretopos. 65
Quotients over Minimal Type Theory 60
Some aspects of the categorical semantics for the polymorphic lambda calculus. 57
Joyal's arithmetic universe as list-arithmetic pretopos 55
Elementary quotient completion 47
Teoria dei tipi di universi categoriali. 42
A predicative variant of a realizability tripos for the Minimalist Foundation. 41
A predicative variant of Hyland's effective topos 41
Predicative exponentiation of locally compact formal topologies over inductively generated ones 32
An extensional Kleene realizability semantics for the Minimalist Foundation. 32
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 32
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 25
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 18
Handbook of Constructive Mathematics 16
A topological counterpart of well-founded trees in dependent type theory 14
A characterization of generalized existential completions 12
Quotients, Pure existential completions and arithmetic universes 3
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 3
Totale 2.730
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.927
article - articoli 5.278
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.020
Totale 15.225
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020411 0 0 5 36 62 52 50 61 61 41 16 27
2020/2021362 10 40 1 29 19 26 5 42 60 39 43 48
2021/2022473 23 73 76 19 19 25 30 36 22 9 56 85
2022/2023267 61 0 3 8 56 44 3 21 45 7 17 2
2023/2024174 4 26 34 11 4 10 3 10 14 17 14 27
2024/2025152 3 114 35 0 0 0 0 0 0 0 0 0
Totale 2.730