CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 928
EU - Europa 246
AS - Asia 75
SA - Sud America 1
Totale 1250
Nazione #
US - Stati Uniti d'America 925
IT - Italia 84
UA - Ucraina 66
CN - Cina 41
VN - Vietnam 29
DE - Germania 26
SE - Svezia 24
FI - Finlandia 20
IE - Irlanda 11
BE - Belgio 5
CA - Canada 3
GB - Regno Unito 2
IR - Iran 2
PL - Polonia 2
RO - Romania 2
RU - Federazione Russa 2
CL - Cile 1
CZ - Repubblica Ceca 1
FR - Francia 1
IN - India 1
JP - Giappone 1
TR - Turchia 1
Totale 1250
Città #
Ann Arbor 135
Woodbridge 126
Chandler 112
Fairfield 101
Houston 86
Ashburn 58
Dearborn 47
Jacksonville 46
Seattle 45
Wilmington 44
Cambridge 38
Udine 38
Dong Ket 29
Trieste 18
Princeton 14
Beijing 13
Dublin 11
Reggio Nell'emilia 10
San Diego 8
Nanjing 7
Brussels 5
Kunming 4
Nanchang 3
Norwalk 3
Ottawa 3
Vicenza 3
Boardman 2
Chengdu 2
Des Moines 2
Hefei 2
Indiana 2
Jinan 2
Leawood 2
Phoenix 2
Warsaw 2
Acquaviva Delle Fonti 1
Ardabil 1
Brescia 1
Guangzhou 1
Harbin 1
Izmir 1
Mestre 1
Milan 1
Ningbo 1
Philadelphia 1
Prague 1
Sacramento 1
Shenyang 1
Simi Valley 1
Wuhan 1
Xian 1
Youngstown 1
Zanjan 1
Zhengzhou 1
Totale 1044
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 139
Mechanizing type environments in weak HOAS 131
Internal Adequacy of Bookkeeping in Coq 126
A weak HOAS approach to the POPLmark Challenge 118
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 111
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 106
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 98
A Tour with Constructive Real Numbers 90
Revisiting the bookkeeping technique in HOAS-based encodings 81
A certified, corecursive implementation of exact real numbers 79
A Co-inductive Approach to Real Numbers 76
Λ!-calculus, intersection types, and involutions 55
LF+ in Coq for fast-and-loose reasoning 48
The involutions-as-principal types/ application-as-unification analogy 22
Totale 1280
Categoria #
all - tutte 2096
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 2096


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201824 0000 00 024 0000
2018/2019118 0026 00 310 0204235
2019/2020376 29101245 3064 5843 3527320
2020/2021259 624620 721 1319 48332537
2021/2022132 147814 39 52 2203315
2022/2023151 1528234 2445 21 0000
Totale 1280