DI GIANANTONIO, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 2.102
EU - Europa 530
AS - Asia 110
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 2.753
Nazione #
US - Stati Uniti d'America 2.090
UA - Ucraina 164
IT - Italia 123
DE - Germania 64
CN - Cina 60
SE - Svezia 58
FI - Finlandia 53
IE - Irlanda 32
TR - Turchia 27
GB - Regno Unito 17
CA - Canada 12
VN - Vietnam 12
CM - Camerun 6
IR - Iran 6
RU - Federazione Russa 6
IN - India 4
BE - Belgio 3
RO - Romania 3
TG - Togo 3
AT - Austria 2
FR - Francia 2
CL - Cile 1
CZ - Repubblica Ceca 1
ES - Italia 1
EU - Europa 1
JP - Giappone 1
NL - Olanda 1
Totale 2.753
Città #
Woodbridge 330
Fairfield 241
Houston 198
Ann Arbor 183
Chandler 176
Ashburn 131
Jacksonville 119
Seattle 114
Wilmington 104
Dearborn 91
Cambridge 79
Udine 61
Dublin 32
Princeton 31
Izmir 27
Beijing 22
Trieste 14
Dong Ket 12
Ottawa 12
San Diego 12
Reggio Nell'emilia 11
Ogden 10
Norwalk 8
Jinan 6
Des Moines 5
Nanjing 5
Ardabil 4
Hefei 4
Redmond 4
San Mateo 4
Bologna 3
Fuzhou 3
Kunming 3
Lomé 3
Los Angeles 3
Simi Valley 3
Vicenza 3
Boardman 2
Brussels 2
Chengdu 2
Chongqing 2
Dallas 2
Monmouth Junction 2
Ningbo 2
Pune 2
Rome 2
Vienna 2
Acquaviva Delle Fonti 1
Amsterdam 1
Augusta 1
Brescia 1
Fleury-Merogis 1
Grafing 1
Guangzhou 1
Horia 1
Indiana 1
Leawood 1
Madrid 1
Mestre 1
Milan 1
Mumbai 1
Nanchang 1
New Orleans 1
New York 1
Prague 1
Redwood City 1
Reston 1
Saint Petersburg 1
San Francisco 1
Shaoxing 1
Shenyang 1
Tokyo 1
Tver 1
Washington 1
Xian 1
Zanjan 1
Zhengzhou 1
Totale 2.121
Nome #
RPO, second-order contexts, and λ-calculus 140
An abstract data type for real numbers 132
Countable Non-Determinism and Uncountable Limits 128
An Abstract Data Type for Real Numbers 127
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 121
Games characterizing Levy-Longo trees. 119
An Abstract Notion of Application 109
Games characterizing Levy-Longo trees 109
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 107
A type assignment system for game semantics 105
Real Number Computability and Domain Theory 104
A language for differentiable functions 103
A lambda calculus of objects with self-inflicted extension 102
RPO, Second-Order Contexts, and λ-Calculus 100
A Unifying Approach to Recursive and Co-recursive Definitions 99
Real Number Computability and Domain Theory 97
A Tour with Constructive Real Numbers 95
A certified, corecursive implementation of exact real numbers 86
Game semantics for the pure lazy lamba calculus 84
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 84
A Co-inductive Approach to Real Numbers 81
Countable Non-Determinism and the Lambda-Calculus 73
The fine structure of game lambda-models. 71
Game Semantics for Untyped Lambda-beta-eta-calculus 69
Λ!-calculus, intersection types, and involutions 59
LF+ in Coq for fast-and-loose reasoning 56
Innocent game semantics via intersection type assignment systems 45
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 44
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 38
Composable Partial Multiparty Session Types 37
Composable partial multiparty session types for open systems 30
Lazy algorithms for exact real arithmetic 19
Principal Types as Lambda Nets 10
Totale 2.783
Categoria #
all - tutte 7.576
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 7.576


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019192 0 0 0 0 0 0 0 0 0 0 124 68
2019/2020750 48 17 30 107 65 126 97 87 59 55 7 52
2020/2021438 10 42 11 50 9 50 10 47 73 42 60 34
2021/2022296 14 23 13 27 6 16 19 9 4 47 80 38
2022/2023344 39 46 2 51 45 76 2 20 44 4 10 5
2023/2024100 16 11 1 3 20 26 2 0 11 10 0 0
Totale 2.783