DI GIANANTONIO, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 2.102
EU - Europa 530
AS - Asia 125
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 2.768
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
SG - Singapore 15
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.768
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
Singapore 14
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.135
Nome #
RPO, second-order contexts, and λ-calculus 140
An abstract data type for real numbers 133
An Abstract Data Type for Real Numbers 128
Countable Non-Determinism and Uncountable Limits 128
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 122
Games characterizing Levy-Longo trees. 119
Games characterizing Levy-Longo trees 110
An Abstract Notion of Application 109
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 108
A type assignment system for game semantics 106
Real Number Computability and Domain Theory 104
A language for differentiable functions 104
A lambda calculus of objects with self-inflicted extension 103
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 96
A certified, corecursive implementation of exact real numbers 87
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 85
Game semantics for the pure lazy lamba calculus 84
A Co-inductive Approach to Real Numbers 82
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 60
LF+ in Coq for fast-and-loose reasoning 57
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 31
Lazy algorithms for exact real arithmetic 19
Principal Types as Lambda Nets 10
Totale 2.798
Categoria #
all - tutte 8.272
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.272


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024114 16 11 1 3 20 26 2 0 11 10 0 14
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 2.798