Follow
Paolo Virgili
Paolo Virgili
docente di Matematica, Liceo Scientifico "B. Rosetti"
Verified email at liceorosetti.gov.it - Homepage
Title
Cited by
Cited by
Year
Constructive domain theory as a branch of intuitionistic pointfree topology
G Sambin, S Valentini, P Virgili
Theoretical Computer Science 159 (2), 319-341, 1996
551996
The category of weak pretopologies
S Valentini, P Virgili
Università di Milano. Dipartimento di Scienze dell'Informazione, 1991
31991
Teoria dei Quozienti per la Teoria degli Insiemi di Martin-Löf
P Virgili
Tesi di Dottorato, 1997
1997
The system can't perform the operation now. Try again later.
Articles 1–3