Statistics
Publications
13
Citations
521
H-Index
12
Active since
1980
Affiliations
Silvio Valentini is an author at University of Padua specializing in mathematics, computer science, and formal methods.
Publications per year
1980–2004
13
13
Inductively generated formal topologies
Thierry Coquand, Giovanni Sambin, Jan M. Smith et al. · Annals of Pure and Applied Logic · 2003 · 147 citations
1–5 of 13