CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.026
EU - Europa 252
AS - Asia 83
AF - Africa 1
OC - Oceania 1
SA - Sud America 1
Totale 1.364
Nazione #
US - Stati Uniti d'America 1.023
IT - Italia 84
UA - Ucraina 66
CN - Cina 41
VN - Vietnam 29
DE - Germania 27
SE - Svezia 24
FI - Finlandia 22
IE - Irlanda 12
BE - Belgio 4
CA - Canada 3
GB - Regno Unito 3
IN - India 3
PH - Filippine 3
TW - Taiwan 3
CZ - Repubblica Ceca 2
IR - Iran 2
PL - Polonia 2
RO - Romania 2
RU - Federazione Russa 2
AU - Australia 1
CL - Cile 1
ES - Italia 1
FR - Francia 1
JP - Giappone 1
TG - Togo 1
TR - Turchia 1
Totale 1.364
Città #
Ann Arbor 135
Woodbridge 126
Chandler 113
Fairfield 101
Houston 86
Ashburn 74
Dearborn 47
Jacksonville 46
Seattle 46
Wilmington 44
Cambridge 38
Udine 38
Dong Ket 29
Trieste 18
Princeton 14
Beijing 13
Dublin 12
Reggio Nell'emilia 10
San Diego 8
Nanjing 7
Los Angeles 6
Brussels 4
Kunming 4
Nanchang 3
Norwalk 3
Ottawa 3
Paranaque City 3
Taipei 3
Vicenza 3
Boardman 2
Chengdu 2
Des Moines 2
Hefei 2
Indiana 2
Jinan 2
Leawood 2
Ogden 2
Phoenix 2
Prague 2
Pune 2
Warsaw 2
Washington 2
Acquaviva Delle Fonti 1
Ardabil 1
Berlin 1
Brescia 1
Guangzhou 1
Harbin 1
Helsinki 1
Izmir 1
Lomé 1
Madrid 1
Mestre 1
Milan 1
New Orleans 1
Ningbo 1
Reston 1
Sacramento 1
Salt Lake City 1
Shenyang 1
Simi Valley 1
Sydney 1
Wuhan 1
Xian 1
Youngstown 1
Zanjan 1
Zhengzhou 1
Totale 1.088
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 155
Internal Adequacy of Bookkeeping in Coq 136
Mechanizing type environments in weak HOAS 132
A weak HOAS approach to the POPLmark Challenge 129
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 122
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 119
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 107
A Tour with Constructive Real Numbers 95
A certified, corecursive implementation of exact real numbers 86
Revisiting the bookkeeping technique in HOAS-based encodings 83
A Co-inductive Approach to Real Numbers 81
Λ!-calculus, intersection types, and involutions 59
LF+ in Coq for fast-and-loose reasoning 56
The involutions-as-principal types/ application-as-unification analogy 34
Totale 1.394
Categoria #
all - tutte 3.835
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 3.835


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201977 0 0 0 0 0 0 0 0 0 0 42 35
2019/2020376 29 10 12 45 30 64 58 43 35 27 3 20
2020/2021259 6 24 6 20 7 21 13 19 48 33 25 37
2021/2022132 14 7 8 14 3 9 5 2 2 20 33 15
2022/2023214 15 28 2 34 24 45 0 16 35 2 5 8
2023/202451 7 2 0 0 11 6 9 1 3 9 3 0
Totale 1.394