VALENTINI, SILVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.931
EU - Europa 292
AS - Asia 141
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.365
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.930
VN - Vietnam 79
UA - Ucraina 65
FI - Finlandia 59
CN - Cina 51
DE - Germania 46
IT - Italia 44
SE - Svezia 38
GB - Regno Unito 23
SG - Singapore 8
AT - Austria 4
IE - Irlanda 3
RO - Romania 3
ES - Italia 2
FR - Francia 2
IN - India 2
AM - Armenia 1
BG - Bulgaria 1
CA - Canada 1
EU - Europa 1
NL - Olanda 1
RU - Federazione Russa 1
Totale 3.365
Salva come PNG Salva come JPEG
Città #
Woodbridge 470
Ann Arbor 440
Fairfield 384
Houston 320
Jacksonville 288
Cambridge 154
Wilmington 148
Seattle 140
Ashburn 135
Princeton 102
Chandler 94
Dong Ket 79
San Diego 45
Nanjing 23
Rome 20
Boardman 15
Helsinki 15
Des Moines 12
Faenza 12
Norwalk 11
Medford 10
Nanchang 7
London 6
Shenyang 6
Hebei 5
Jiaxing 5
Singapore 4
Vienna 4
Dublin 3
Horia 3
Monmouth Junction 3
Padova 3
Boadilla del Monte 2
Bologna 2
Ferentino 2
Fort Worth 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.001
Salva come PNG Salva come JPEG
Nome #
Exponentiation of Scott formal topologies 117
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 115
An intuitionistic theory of types with assumptions of high-arity variables 111
A syntactic proof of cut-elimination for GL_lin 110
Representation Theorems for Quantales 109
Post completeness and free algebras 97
Cantor theorem and friends, in logical form 95
The judgement calculus for Intuitionistic Linear Logic: proof theory and semantics 94
Independence results in formal topology 93
Constructive characterizations of bar subsets 93
Every countably presented formal topology is spatial, classically 92
Decidability in Intuitionistic Type Theory is functionally decidable 88
Relative formal topology, namely, the binary positivity predicate comes first 86
On the formal points of the formal topology of the binary tree 84
A proof of the normal form theorem for the closed terms of Girard's System F 82
The modal logic of provability. The sequential approach 82
Inductively generated formal topologies 82
OBJECTS A Study in Kantian Formal Epistemology 80
A modal sequent calculus for a fragment of arithmetic 80
A binary modal logic for the intersection types of lambda-calculus 79
Tychonoff's theorem in the framework of formal topologies 79
An intuitionistic version of Cantor's theorem 77
The sequent calculus for the modal logic D 76
A structural investigation on formal topology: coreflection of formal covers and exponentiability 76
General Recursion and Formal Topology 75
Points and co-points in formal topology 73
An elementary proof of strong normalization for intersection types 73
Local computation in linear logic 73
A Strong Normalization Condition for Pure Type System 71
The problem of the formalization of constructive topology 69
A general method to prove the normalization theorem for first and second order typed lambda-calculi 69
Vagueness, Kant and Topology 66
Constructive domain theory as a branch of intuitionistic pointfree topology 66
Krivine's intuitionistic proof of classical completeness (for countable languages) 64
On the decidability of the equality theory of symply typed lambda calculi 61
Can you add power-sets to Martin-Loef intuitionistic set theory? 60
The forget-restore principle: a paradigmatic example 60
Extensionality versus Constructivity 58
Spatiality and classical logic 52
Building up a tool-box for Martin-Loef intuitionistic type theory 51
Building up a toolbox for Martin-Loef's type theory: subset theory 44
A note on a straightforward proof of normal form theorem for symply typed lambda-calculi 41
Il teorema di Arrow: un punto di vista logico 40
A cartesian closed category in Martin-Loef's intuitionistic type theory 32
Totale 3.375
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.456
article - articoli 9.010
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 150
Totale 19.616
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019216 0 0 0 0 0 0 0 0 0 0 122 94
2019/2020627 104 15 12 55 64 67 60 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/202464 9 16 6 11 2 1 2 0 1 6 10 0
Totale 3.375