CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.338
AS - Asia 476
EU - Europa 358
SA - Sud America 59
Continente sconosciuto - Info sul continente non disponibili 42
AF - Africa 4
OC - Oceania 3
Totale 2.280
Nazione #
US - Stati Uniti d'America 1.316
SG - Singapore 198
CN - Cina 117
IT - Italia 106
UA - Ucraina 66
VN - Vietnam 46
BR - Brasile 42
DE - Germania 40
HK - Hong Kong 38
RU - Federazione Russa 29
SE - Svezia 28
FI - Finlandia 23
IN - India 19
FR - Francia 15
CA - Canada 14
GB - Regno Unito 14
IE - Irlanda 12
BD - Bangladesh 10
AR - Argentina 8
KR - Corea 7
JP - Giappone 6
TR - Turchia 6
BE - Belgio 5
CO - Colombia 5
ES - Italia 5
PL - Polonia 5
AE - Emirati Arabi Uniti 4
KZ - Kazakistan 4
MX - Messico 4
AU - Australia 3
PH - Filippine 3
PK - Pakistan 3
TW - Taiwan 3
AT - Austria 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
HN - Honduras 2
ID - Indonesia 2
IQ - Iraq 2
IR - Iran 2
NL - Olanda 2
RO - Romania 2
SA - Arabia Saudita 2
ZA - Sudafrica 2
CL - Cile 1
EE - Estonia 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
LT - Lituania 1
MA - Marocco 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
TG - Togo 1
Totale 2.238
Città #
Ann Arbor 135
Woodbridge 126
Ashburn 117
Chandler 113
Singapore 104
Fairfield 101
Houston 88
Dearborn 47
Seattle 47
Jacksonville 46
Wilmington 45
Udine 42
Cambridge 38
Hong Kong 38
San Jose 38
Beijing 34
Council Bluffs 34
Dong Ket 29
Los Angeles 20
Trieste 18
Boardman 16
Princeton 14
Hefei 13
Dublin 12
Lauterbourg 11
Reggio Nell'emilia 10
San Diego 8
Buffalo 7
Nanjing 7
Santa Clara 7
Seoul 7
São Paulo 7
Frankfurt am Main 6
Atlanta 5
Brussels 5
Hanoi 5
Orem 5
Ottawa 5
Tokyo 5
Warsaw 5
Ankara 4
Chennai 4
Dallas 4
Denver 4
Ho Chi Minh City 4
Kunming 4
Mumbai 4
New York 4
Redondo Beach 4
Stockholm 4
The Dalles 4
Toronto 4
Washington 4
Milan 3
Nanchang 3
Norwalk 3
Paranaque City 3
Phoenix 3
Pune 3
Taipei 3
Vicenza 3
Amsterdam 2
Astana 2
Birmingham 2
Chengdu 2
Cincinnati 2
Dammam 2
Des Moines 2
Guayaquil 2
Helsinki 2
Indiana 2
Jinan 2
Joinville 2
Lafayette 2
Lahore 2
Leawood 2
London 2
Mexico City 2
Montreal 2
Munich 2
Mysore 2
Nova Friburgo 2
Ogden 2
Poplar 2
Prague 2
Rome 2
Shanghai 2
Vancouver 2
Acquaviva Delle Fonti 1
Adelaide 1
Ambāla 1
Ardabil 1
Baldwin 1
Bandung 1
Batman 1
Baxter 1
Belford Roxo 1
Belo Horizonte 1
Berlin 1
Betim 1
Totale 1.562
Nome #
Mechanizing type environments in weak HOAS 221
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 213
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 193
A weak HOAS approach to the POPLmark Challenge 186
Internal Adequacy of Bookkeeping in Coq 183
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 179
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 174
A certified, corecursive implementation of exact real numbers 152
A Tour with Constructive Real Numbers 151
A Co-inductive Approach to Real Numbers 140
Revisiting the bookkeeping technique in HOAS-based encodings 140
LF+ in Coq for fast-and-loose reasoning 127
Λ!-calculus, intersection types, and involutions 122
The involutions-as-principal types/ application-as-unification analogy 99
Totale 2.280
Categoria #
all - tutte 8.059
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 8.059


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022111 0 0 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/202465 7 2 0 0 11 6 9 1 3 9 3 14
2024/2025279 1 15 18 14 22 25 25 8 28 9 50 64
2025/2026538 54 52 25 35 124 38 43 8 41 60 32 26
2026/202755 11 36 8 0 0 0 0 0 0 0 0 0
Totale 2.280