ALESSI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 1077
EU - Europa 364
AS - Asia 82
Totale 1523
Nazione #
US - Stati Uniti d'America 1061
DE - Germania 109
UA - Ucraina 93
IT - Italia 84
CN - Cina 42
FI - Finlandia 28
TR - Turchia 27
SE - Svezia 19
RU - Federazione Russa 18
CA - Canada 16
VN - Vietnam 9
GB - Regno Unito 7
BE - Belgio 3
IR - Iran 2
FR - Francia 1
IN - India 1
PL - Polonia 1
RO - Romania 1
TW - Taiwan 1
Totale 1523
Città #
Ann Arbor 199
Fairfield 144
Woodbridge 144
Houston 120
Jacksonville 65
Ashburn 63
Seattle 56
Chandler 54
Wilmington 52
Cambridge 48
Udine 44
Dearborn 38
Izmir 27
Beijing 20
Princeton 17
Ottawa 16
Trieste 14
Dong Ket 9
San Diego 8
Kunming 4
Brussels 3
Nanjing 3
Vicenza 3
Ardabil 2
Guangzhou 2
Hebei 2
Hefei 2
Norwalk 2
Phoenix 2
Acquaviva Delle Fonti 1
Bologna 1
Chengdu 1
Fuzhou 1
Jinan 1
Kansas City 1
Mestre 1
Monmouth Junction 1
Mumbai 1
Múggia 1
Nanchang 1
Taipei 1
Warsaw 1
Wuhan 1
Totale 1177
Nome #
Intersection Types and Computational Rules 134
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES 132
Type preorders and recursive terms 128
Recursive Domain Equations of Filter Models. 125
A complete characterization of complete intersection-type preorders 122
A category of compositional domain-models for separable Stone spaces 115
Intersection types and domain operators 104
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space 100
Intersection types and lambda models 99
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 91
Tiered Objects 87
Intersection Types λS∩ 78
Simple Easy Terms 64
Tailoring Filter Models 50
Solutions of Functorial and Non-Functorial Metric Domain Equations 47
An irregular filter model. 43
LF+ in Coq for fast-and-loose reasoning 42
Totale 1561
Categoria #
all - tutte 2119
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2119


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/2018156 0000 056 2060 01406
2018/2019165 0358 01 116 2217335
2019/2020403 18102251 3362 4653 35331030
2020/2021340 3030547 525 2521 78213023
2021/2022131 91268 17 76 1272522
2022/202374 1938215 00 00 0000
Totale 1561