CARDONE, Felice
 Distribuzione geografica
Continente #
NA - Nord America 1.703
EU - Europa 1.128
AS - Asia 413
OC - Oceania 11
SA - Sud America 7
AF - Africa 1
Totale 3.263
Nazione #
US - Stati Uniti d'America 1.661
IT - Italia 344
CN - Cina 187
DK - Danimarca 138
SE - Svezia 118
SG - Singapore 107
DE - Germania 98
FR - Francia 89
IE - Irlanda 87
FI - Finlandia 56
GB - Regno Unito 51
KR - Corea 44
UA - Ucraina 38
PL - Polonia 36
CA - Canada 35
VN - Vietnam 32
NL - Olanda 20
JP - Giappone 15
RU - Federazione Russa 15
AU - Australia 11
ID - Indonesia 10
AT - Austria 9
BE - Belgio 9
MX - Messico 7
BR - Brasile 5
CH - Svizzera 4
ES - Italia 4
TR - Turchia 4
CZ - Repubblica Ceca 3
TW - Taiwan 3
HK - Hong Kong 2
MN - Mongolia 2
PH - Filippine 2
PT - Portogallo 2
RO - Romania 2
AE - Emirati Arabi Uniti 1
BT - Bhutan 1
CO - Colombia 1
EC - Ecuador 1
EE - Estonia 1
GR - Grecia 1
HU - Ungheria 1
IN - India 1
LK - Sri Lanka 1
LV - Lettonia 1
RS - Serbia 1
SA - Arabia Saudita 1
ZA - Sudafrica 1
Totale 3.263
Città #
Ann Arbor 408
Chandler 128
Santa Clara 121
Beijing 92
Dublin 85
Singapore 85
Wilmington 64
Guangzhou 61
Dearborn 57
Fairfield 53
Houston 50
Torino 47
Villeurbanne 45
Nyköping 39
Princeton 39
Milan 35
Jacksonville 34
Ashburn 31
Columbus 31
Redwood City 29
Warsaw 27
Woodbridge 27
Turin 26
Medford 24
Pisa 24
Cambridge 20
Dong Ket 18
Rome 18
Boston 17
Boardman 13
Seattle 13
Toronto 13
Jakarta 10
London 10
Norwalk 10
Brussels 9
Tokyo 9
Padova 8
Fremont 7
Guadalupe Trujillo 7
Krakow 7
Rivarolo Canavese 7
Bologna 6
Karlsruhe 6
Paris 6
San Diego 6
San Mauro Torinese 6
Edinburgh 5
Falls Church 5
Helsinki 5
Marseille 5
Melbourne 5
Montréal 5
Nürnberg 5
Austin 4
Grugliasco 4
Hangzhou 4
Hefei 4
Kitchener 4
New York 4
Udine 4
University Park 4
Alessandria 3
Altavilla Vicentina 3
Atlanta 3
Aurora 3
Camerino 3
Chicago 3
Istanbul 3
Loreto 3
Naples 3
New Haven 3
Novara 3
Offenbach 3
Prague 3
Verona 3
Wuhan 3
Alphen aan den Rijn 2
Amsterdam 2
Ascoli Piceno 2
Asten 2
Barendrecht 2
Berkeley 2
Billingham 2
Bordeaux 2
Calcinelli 2
Cento 2
Central District 2
Cesena 2
Chongqing 2
Delft 2
Florianópolis 2
Foggia 2
Frosinone 2
Gresham 2
Hebei 2
Innsbruck 2
Kunming 2
Leawood 2
Leggiuno 2
Totale 2.046
Nome #
Games, Full Abstraction and Full Completeness 343
Lambda-Calculus and Combinators in the 20th Century 321
Continuity in Semantic Theories of Programming 252
L’eredità di Carl Adam Petri: dagli automi alla comunicazione 240
Tiered objects 212
Computers and the Mechanics of Communication 200
Le direzioni della ricerca logica in Italia: Logica e Informatica 165
Computers as communication machines Highlights of a forgotten program 132
A(S)CFG generator 101
Part II, Recursive types 95
Decidability Properties of Recursive Types 85
From Curry to Haskell: Paths to Abstraction in Programming Languages 72
Two extensions of Curry's type inference system 71
Universal homogeneous graph-like structures and domains 70
Corrado Mangione, le categorie, la logica 70
The Geometry and Algebra of Commitment 68
Relational Semantics for Recursive Types and BoundedQuantification 67
UN ASSETTO MOODLE PER L’ESAME ONLINE DI UN CORSO DI PROGRAMMAZIONE 66
Book review: BENJAMIN C. PIERCE (ED.) • Advanced Topics in Types and Programming Languages. The MIT Press (2005) 65
Decidability Properties of Recursive Types 62
Combining Type Disciplines 60
Type Inference with Recursive Types: Syntax and Semantics 59
Concurrency, communication and computation. A position paper 58
A coinductive completeness proof for the equivalence of recursive types 56
Concurrent automata, prime event structures and universal domains 56
An Algebraic Approach to the Interpretation of Recursive Types 56
An Organisational Theory of Information 55
Strict Finitism and Feasibility 55
Review of: Bimbo', Katalin Combinatory logic. Pure, applied and typed. Discrete Mathematics and its Applications (Boca Raton). CRC Press, Boca Raton, FL, 2012. xii+345 pp. ISBN 978-1-4398-0000-3 50
Recursive Types for Fun 35
Dimostrare come riconoscere 35
Dai palazzi della memoria al calcolo parallelo (una visita guidata) 27
On Giving Meanings to Programs 12
Mysterium negationis 11
Totale 3.382
Categoria #
all - tutte 8.229
article - articoli 0
book - libri 0
conference - conferenze 2.706
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.935


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020347 0 0 0 0 46 74 56 16 38 44 47 26
2020/2021735 54 27 20 29 81 72 84 70 89 87 71 51
2021/2022338 9 23 18 20 16 5 20 15 12 14 121 65
2022/2023477 45 6 9 60 53 121 48 42 51 6 17 19
2023/2024219 26 33 18 23 10 10 7 7 1 15 27 42
2024/2025348 10 97 36 52 153 0 0 0 0 0 0 0
Totale 3.382