TREGLIA, RICCARDO
 Distribuzione geografica
Continente #
NA - Nord America 164
EU - Europa 145
AS - Asia 51
OC - Oceania 1
Totale 361
Nazione #
US - Stati Uniti d'America 163
IT - Italia 62
IE - Irlanda 33
SG - Singapore 27
CN - Cina 17
FR - Francia 16
DE - Germania 9
SE - Svezia 9
GB - Regno Unito 5
DK - Danimarca 3
JP - Giappone 3
PT - Portogallo 2
RS - Serbia 2
VN - Vietnam 2
AU - Australia 1
CA - Canada 1
FI - Finlandia 1
GR - Grecia 1
KR - Corea 1
PH - Filippine 1
RU - Federazione Russa 1
UA - Ucraina 1
Totale 361
Città #
Dublin 33
Fairfield 23
Singapore 19
Chandler 16
Hebei 10
Medford 9
Princeton 9
Nyköping 8
Cambridge 7
Milan 6
Wilmington 6
Ashburn 5
Bologna 5
Boston 5
Genoa 4
Turin 4
Woodbridge 4
Beijing 3
Falls Church 3
Mountain View 3
Parma 3
Tokyo 3
Verona 3
Vicenza 3
Ann Arbor 2
Ashton-under-Lyne 2
Cesena 2
Copenhagen 2
Cormeilles-en-Parisis 2
Dong Ket 2
Ferrara 2
Florence 2
Gif-sur-Yvette 2
Karlsruhe 2
Montpellier 2
Palaiseau 2
Palermo 2
Reggio Emilia 2
Santa Clara 2
Shanghai 2
Stara Pazova 2
Urbino 2
Bogogno 1
Boissy-Saint-Léger 1
Bra 1
Butuan 1
Caselle Torinese 1
Eugene 1
Frankfurt am Main 1
Fremont 1
Gammertingen 1
Hoboken 1
Houston 1
Kharkiv 1
Koblenz 1
Lappeenranta 1
London 1
Ludwigshafen 1
Moscow 1
Nanjing 1
Porto 1
Queanbeyan 1
Redwood City 1
San Diego 1
San Mateo 1
San Mauro Torinese 1
Seattle 1
Seoul 1
Torino 1
Toronto 1
Vanlose 1
Vigonza 1
Villeneuve-le-Roi 1
Werl 1
Wuhan 1
Totale 263
Nome #
The computational core: reduction theory and intersection type discipline 67
The untyped computational λ-calculus and its intersection type discipline 67
From Semantics to Types: the Case of the Imperative lambda-Calculus 44
Computational calculus: bridging reduction and evaluation 31
Evaluation and convergence in the computational calculus 31
Intersection types for a λ-calculus with global store 30
On the reduction of the type-free computational λ-calculus 29
Intersection Types for the Computational lambda-Calculus 25
Evaluation in the computational calculus is non-confluent 24
Intersection Types for a Computational lambda-Calculus with Global State 20
From semantics to types: The case of the imperative λ-calculus 5
Totale 373
Categoria #
all - tutte 1.516
article - articoli 0
book - libri 0
conference - conferenze 999
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.515


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202128 0 0 0 11 2 4 0 1 2 2 0 6
2021/2022124 2 2 10 17 6 25 6 6 3 5 21 21
2022/2023104 10 3 1 7 2 32 25 11 5 4 0 4
2023/202492 9 24 4 10 5 3 2 2 0 14 6 13
2024/202525 4 21 0 0 0 0 0 0 0 0 0 0
Totale 373