CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 298
AS - Asia 142
EU - Europa 80
AF - Africa 6
SA - Sud America 3
OC - Oceania 1
Totale 530
Nazione #
US - Stati Uniti d'America 295
CN - Cina 99
IT - Italia 38
VN - Vietnam 16
ID - Indonesia 13
FR - Francia 12
DE - Germania 8
KH - Cambogia 6
SE - Svezia 6
GB - Regno Unito 5
KR - Corea 5
AT - Austria 4
CA - Canada 3
RU - Federazione Russa 3
TW - Taiwan 3
ZA - Sudafrica 3
IE - Irlanda 2
KE - Kenya 2
PL - Polonia 2
AU - Australia 1
BO - Bolivia 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
Totale 530
Città #
Fairfield 34
Woodbridge 30
Ashburn 24
Udine 24
Buffalo 22
Santa Cruz 22
Seattle 21
Shenyang 21
Houston 18
Dong Ket 16
Guangzhou 16
Wilmington 10
Cambridge 9
Changsha 8
Harbin 8
Chongqing 7
Trieste 7
Ann Arbor 6
Beijing 6
Des Moines 6
Fleming Island 6
Stockholm 6
Jinan 4
Paris 4
San Diego 4
Bayside 3
Chicago 3
Haikou 3
Los Angeles 3
Nanchang 3
Reggio Nell'emilia 3
Taipei 3
Toronto 3
Chengdu 2
Clearwater 2
Dublin 2
Hangzhou 2
Henderson 2
London 2
Nairobi 2
Phoenix 2
Provo 2
Riva 2
Shanghai 2
Silverton 2
University Park 2
Warsaw 2
Wuhan 2
Xian 2
Ürümqi 2
Baotou 1
Basking Ridge 1
Bellevue 1
Bogotá 1
Boulder 1
Brescia 1
Changchun 1
Dallas 1
Easton 1
Freiburg 1
Fuzhou 1
La Paz 1
Las Vegas 1
McHenry 1
Muizenberg 1
Nanjing 1
New York 1
Rangkasbitung 1
Saint-geours-de-maremne 1
San Francisco 1
San Pablo 1
Scranton 1
Seoul 1
Spokane 1
Sunnyvale 1
Surabaya 1
Varese 1
Totale 424
Nome #
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax, file e27ce0c3-319c-055e-e053-6605fe0a7873 141
Λ!-calculus, intersection types, and involutions, file e27ce0c6-287f-055e-e053-6605fe0a7873 131
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning, file e27ce0c7-1cb0-055e-e053-6605fe0a7873 109
A weak HOAS approach to the POPLmark Challenge, file e27ce0c1-e16a-055e-e053-6605fe0a7873 102
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 16
The involutions-as-principal types/ application-as-unification analogy, file e27ce0c9-33f4-055e-e053-6605fe0a7873 14
Revisiting the bookkeeping technique in HOAS-based encodings, file e27ce0c1-e6d0-055e-e053-6605fe0a7873 13
Mechanizing type environments in weak HOAS, file e27ce0c2-7782-055e-e053-6605fe0a7873 10
Mechanizing type environments in weak HOAS, file e27ce0c9-770a-055e-e053-6605fe0a7873 8
A certified, corecursive implementation of exact real numbers, file e27ce0c1-d7b0-055e-e053-6605fe0a7873 2
Mechanizing type environments in weak HOAS, file e27ce0c9-7708-055e-e053-6605fe0a7873 2
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax, file e27ce0c1-c95e-055e-e053-6605fe0a7873 1
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts, file e27ce0c1-d82b-055e-e053-6605fe0a7873 1
Internal Adequacy of Bookkeeping in Coq, file e27ce0c1-f734-055e-e053-6605fe0a7873 1
Totale 551
Categoria #
all - tutte 672
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 672


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/20185 0000 00 00 0005
2018/201954 0211 01 02 4131416
2019/2020120 141169 118 1210 171165
2020/2021153 4462 1013 149 33132025
2021/2022135 19211015 611 40 85279
2022/202369 12265 420 110 0000
Totale 551