VALENTINI, SILVIO
 Distribuzione geografica
Continente #
NA - Nord America 3.150
EU - Europa 357
AS - Asia 247
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.755
Nazione #
US - Stati Uniti d'America 3.146
SG - Singapore 103
VN - Vietnam 79
UA - Ucraina 65
FI - Finlandia 59
CN - Cina 54
DE - Germania 49
IT - Italia 44
SE - Svezia 38
FR - Francia 31
GB - Regno Unito 31
RU - Federazione Russa 22
HK - Hong Kong 7
AT - Austria 4
CA - Canada 4
BE - Belgio 3
IE - Irlanda 3
RO - Romania 3
ES - Italia 2
IN - India 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BG - Bulgaria 1
EU - Europa 1
LT - Lituania 1
NL - Olanda 1
Totale 3.755
Città #
Woodbridge 470
Ann Arbor 440
Fairfield 384
Houston 320
Jacksonville 288
Cambridge 154
Wilmington 148
Santa Clara 140
Seattle 140
Ashburn 136
Princeton 102
Chandler 94
Singapore 80
Dong Ket 79
Boardman 59
San Diego 45
Nanjing 23
Rome 20
Helsinki 15
Des Moines 12
Faenza 12
Norwalk 11
London 10
Medford 10
Hong Kong 7
Nanchang 7
Shenyang 6
Hebei 5
Jiaxing 5
Vienna 4
Brussels 3
Dublin 3
Horia 3
Monmouth Junction 3
Padova 3
Toronto 3
Boadilla del Monte 2
Bologna 2
Edinburgh 2
Ferentino 2
Fort Worth 2
Frankfurt am Main 2
Kilburn 2
Yellow Springs 2
Acton 1
Aiken 1
Augusta 1
Beijing 1
Changsha 1
Chiswick 1
Hounslow 1
Indiana 1
Las Vegas 1
Leawood 1
Milan 1
Moscow 1
Mumbai 1
New Bedfont 1
New York 1
Ningbo 1
Orange 1
San Francisco 1
San Mateo 1
Sofia 1
Tianjin 1
Turin 1
Walnut 1
Totale 3.283
Nome #
Exponentiation of Scott formal topologies 129
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 124
An intuitionistic theory of types with assumptions of high-arity variables 119
A syntactic proof of cut-elimination for GL_lin 119
Representation Theorems for Quantales 116
Cantor theorem and friends, in logical form 110
Every countably presented formal topology is spatial, classically 106
Constructive characterizations of bar subsets 105
Independence results in formal topology 104
Post completeness and free algebras 104
The judgement calculus for Intuitionistic Linear Logic: proof theory and semantics 100
Decidability in Intuitionistic Type Theory is functionally decidable 100
A modal sequent calculus for a fragment of arithmetic 98
Relative formal topology, namely, the binary positivity predicate comes first 93
A proof of the normal form theorem for the closed terms of Girard's System F 91
A binary modal logic for the intersection types of lambda-calculus 90
A structural investigation on formal topology: coreflection of formal covers and exponentiability 90
The modal logic of provability. The sequential approach 89
Inductively generated formal topologies 89
On the formal points of the formal topology of the binary tree 89
Tychonoff's theorem in the framework of formal topologies 86
A Strong Normalization Condition for Pure Type System 85
An elementary proof of strong normalization for intersection types 85
OBJECTS A Study in Kantian Formal Epistemology 85
An intuitionistic version of Cantor's theorem 84
General Recursion and Formal Topology 81
Points and co-points in formal topology 80
The sequent calculus for the modal logic D 80
Local computation in linear logic 80
Constructive domain theory as a branch of intuitionistic pointfree topology 80
The problem of the formalization of constructive topology 75
A general method to prove the normalization theorem for first and second order typed lambda-calculi 75
Vagueness, Kant and Topology 74
Can you add power-sets to Martin-Loef intuitionistic set theory? 71
Krivine's intuitionistic proof of classical completeness (for countable languages) 70
On the decidability of the equality theory of symply typed lambda calculi 68
The forget-restore principle: a paradigmatic example 68
Extensionality versus Constructivity 64
Building up a tool-box for Martin-Loef intuitionistic type theory 59
Spatiality and classical logic 56
Building up a toolbox for Martin-Loef's type theory: subset theory 54
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi 53
Il teorema di Arrow: un punto di vista logico 48
A cartesian closed category in Martin-Loef's intuitionistic type theory 39
Totale 3.765
Categoria #
all - tutte 13.147
article - articoli 11.295
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 212
Totale 24.654


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020250 0 0 0 0 0 0 0 83 61 55 16 35
2020/2021515 15 41 9 45 12 42 13 62 75 23 73 105
2021/2022507 14 65 80 30 18 19 29 45 27 7 83 90
2022/2023290 91 0 1 19 56 39 0 24 39 1 16 4
2023/202497 9 16 6 11 2 1 2 0 1 6 22 21
2024/2025357 0 65 32 10 180 40 21 9 0 0 0 0
Totale 3.765