Inductively generated formal topologies T Coquand, G Sambin, J Smith, S Valentini Annals of Pure and Applied Logic 124 (1-3), 71-106, 2003 | 162 | 2003 |
The modal logic of provability. The sequential approach G Sambin, S Valentini Journal of Philosophical Logic, 311-342, 1982 | 125 | 1982 |
Building up a toolbox for Martin-Löf’s type theory: subset theory G Sambin, S Valentini Twenty-five years of constructive type theory (Venice, 1995) 36, 221-244, 1998 | 86 | 1998 |
The modal logic of provability: cut-elimination S Valentini Journal of Philosophical logic, 471-476, 1983 | 86 | 1983 |
Constructive domain theory as a branch of intuitionistic pointfree topology G Sambin, S Valentini, P Virgili Theoretical computer science 159 (2), 319-341, 1996 | 55 | 1996 |
A modal sequent calculus for a fragment of arithmetic G Sambin, S Valentini Studia Logica 39 (2), 245-256, 1980 | 40 | 1980 |
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? ME Maietti, S Valentini Mathematical Logic Quarterly 45 (4), 521-532, 1999 | 36 | 1999 |
Tychonoff's theorem in the framework of formal topologies S Negri, S Valentini The Journal of Symbolic Logic 62 (4), 1315-1332, 1997 | 31 | 1997 |
A structural investigation on formal topology: coreflection of formal covers and exponentiability ME Maietti, S Valentini The Journal of Symbolic Logic 69 (4), 967-1005, 2004 | 24 | 2004 |
An elementary proof of strong normalization for intersection types S Valentini Archive for Mathematical Logic 40, 475-488, 2001 | 18 | 2001 |
Krivine's intuitionistic proof of classical completeness (for countable languages) S Berardi, S Valentini Annals of Pure and Applied Logic 129 (1-3), 93-106, 2004 | 17 | 2004 |
The problem of the formalization of constructive topology S Valentini Archive for mathematical logic 44 (1), 115-129, 2005 | 16 | 2005 |
Representation theorems for quantales S Valentini Mathematical Logic Quarterly 40 (2), 182-190, 1994 | 15 | 1994 |
The sequent calculus for the modal logic D S Valentini Unione Matematica Italiana. Bollettino. A. Serie 7 (7), 3, 1993 | 15 | 1993 |
Vagueness, Kant and topology: A study of formal epistemology G Boniolo, S Valentini Journal of Philosophical Logic 37, 141-168, 2008 | 13 | 2008 |
A general method for proving the normalization theorem for first and second order typed λ-calculi V Capretta, S Valentini Mathematical Structures in Computer Science 9 (6), 719-739, 1999 | 13 | 1999 |
The forget-restore principle: a paradigmatic example S Valentini Twenty Five Years of Constructive Type Theory 36, 275, 1998 | 13 | 1998 |
Decidability in Intuitionistic Type Theory is functionally decidable S Valentini Mathematical Logic Quarterly 42 (1), 300-304, 1996 | 13 | 1996 |
Constructive characterizations of bar subsets S Valentini Annals of Pure and Applied logic 145 (3), 368-378, 2007 | 11 | 2007 |
An intuitionistic theory of types with assumptions of high-arity variables A Bossi, S Valentini Annals of Pure and Applied Logic 57 (2), 93-149, 1992 | 11 | 1992 |