DI GIANANTONIO, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 211
AS - Asia 133
EU - Europa 75
AF - Africa 1
SA - Sud America 1
Totale 421
Nazione #
US - Stati Uniti d'America 211
CN - Cina 92
IT - Italia 34
FR - Francia 15
ID - Indonesia 14
DE - Germania 6
KH - Cambogia 6
SE - Svezia 6
VN - Vietnam 6
KR - Corea 5
AT - Austria 4
FI - Finlandia 3
JP - Giappone 3
TW - Taiwan 3
GE - Georgia 2
RU - Federazione Russa 2
SG - Singapore 2
BO - Bolivia 1
CH - Svizzera 1
ES - Italia 1
GB - Regno Unito 1
NL - Olanda 1
PT - Portogallo 1
ZA - Sudafrica 1
Totale 421
Città #
Ashburn 112
Shenyang 21
Guangzhou 16
Udine 16
Fairfield 12
Changsha 8
Harbin 8
Santa Cruz 8
Seattle 8
Woodbridge 8
Chongqing 7
Trieste 7
Dong Ket 6
Stockholm 6
Wilmington 6
Houston 5
Buffalo 4
Jinan 4
Reggio Nell'emilia 4
Chicago 3
Haikou 3
Higashihoncho 3
Nanchang 3
Taipei 3
Cambridge 2
Chengdu 2
Des Moines 2
Helsinki 2
Paris 2
Tbilisi 2
Xian 2
Ürümqi 2
Ann Arbor 1
Baotou 1
Beijing 1
Bern 1
Boardman 1
Bologna 1
Brescia 1
Changchun 1
Dallas 1
Espinho 1
Fuzhou 1
Hangzhou 1
La Paz 1
Latisana 1
Los Angeles 1
Maastricht 1
Nanjing 1
New York 1
Oudon 1
Oulu 1
Rangkasbitung 1
Riva 1
Roche-la-Moliere 1
San Diego 1
San Pablo 1
Seoul 1
Shanghai 1
Silverton 1
Surabaya 1
Tampa 1
Valencia 1
Varese 1
Washington 1
Wuhan 1
Yogyakarta 1
Totale 332
Nome #
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning, file e27ce0c7-1cb0-055e-e053-6605fe0a7873 206
Λ!-calculus, intersection types, and involutions, file e27ce0c6-287f-055e-e053-6605fe0a7873 141
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 35
Lazy algorithms for exact real arithmetic, file e27ce0c9-204b-055e-e053-6605fe0a7873 24
Composable partial multiparty session types for open systems, file d96a9fed-6e4d-4bfa-953c-0b3cfd0bbd13 10
Principal Types as Lambda Nets, file df466029-eca2-4a92-a6a3-b7ed201cad59 3
Innocent game semantics via intersection type assignment systems, file e27ce0c1-f903-055e-e053-6605fe0a7873 3
A certified, corecursive implementation of exact real numbers, file e27ce0c1-d7b0-055e-e053-6605fe0a7873 2
A Unifying Approach to Recursive and Co-recursive Definitions, file e27ce0c1-e526-055e-e053-6605fe0a7873 2
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty., file e27ce0c1-dfb1-055e-e053-6605fe0a7873 1
Unifying Recursive and Co-recursive Definitions in Sheaf Categories, file e27ce0c1-e79c-055e-e053-6605fe0a7873 1
Totale 428
Categoria #
all - tutte 786
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 786


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202041 1 0 0 0 4 5 7 4 10 7 3 0
2020/2021113 4 0 6 0 6 9 11 8 26 13 14 16
2021/202285 16 17 9 12 2 8 3 0 2 4 9 3
2022/202343 0 1 9 9 4 12 1 1 0 2 3 1
2023/2024138 5 3 6 2 2 9 24 86 0 1 0 0
Totale 428