| Intuitionistic type theory P Martin-Löf, G Sambin Bibliopolis 9, 136, 1984 | 2565 | 1984 |
| Intuitionistic formal spaces—a first communication G Sambin Mathematical logic and its applications, 187-204, 1987 | 299 | 1987 |
| Some points in formal topology G Sambin Theoretical computer science 305 (1), 347-408, 2003 | 192 | 2003 |
| Basic logic: reflection, symmetry, visibility G Sambin, G Battilotti, C Faggian The Journal of Symbolic Logic 65 (3), 979-1013, 2000 | 181 | 2000 |
| 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 |
| Toward a minimalist foundation for constructive mathematics ME Maietti, G Sambin From Sets and Types to Topology and Analysis: Practicable Foundations for …, 2005 | 137 | 2005 |
| Topology and duality in modal logic G Sambin, V Vaccaro Annals of pure and applied logic 37 (3), 249-296, 1988 | 130 | 1988 |
| The modal logic of provability. The sequential approach G Sambin, S Valentini Journal of Philosophical Logic, 311-342, 1982 | 124 | 1982 |
| A new proof of Sahlqvist's theorem on modal definability and completeness G Sambin, V Vaccaro The Journal of Symbolic Logic 54 (3), 992-999, 1989 | 119 | 1989 |
| An effective fixed-point theorem in intuitionistic diagonalizable algebras G Sambin Studia Logica 35, 345-361, 1976 | 89 | 1976 |
| Building up a toolbox for Martin-Löf's type theory: subset theory G Sambin, S Valentini Twenty five years of Constructive Type Theory 36, 221, 1998 | 86 | 1998 |
| Pretopologies and completeness proofs G Sambin The Journal of Symbolic Logic 60 (3), 861-878, 1995 | 71 | 1995 |
| A preview of the basic picture: a new perspective on formal topology G Sambin, S Gebellato Types for Proofs and Programs: International Workshop, TYPES’98 Kloster …, 1999 | 63 | 1999 |
| Provability: the emergence of a mathematical modality G Boolos, G Sambin Studia Logica: An International Journal for Symbolic Logic 50 (1), 1-23, 1991 | 62 | 1991 |
| The Basic Picture: a structural basis for constructive topology G Sambin Oxford University Press 10, 11.5, 2012 | 59 | 2012 |
| Twenty five years of constructive type theory G Sambin, JM Smith Clarendon Press, 1998 | 57 | 1998 |
| 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 |
| An incomplete system of modal logic G Boolos, G Sambin Journal of Philosophical logic, 351-358, 1985 | 46 | 1985 |
| Pretopologies and a uniform presentation of sup-lattices, quantales and frames G Battilotti, G Sambin Annals of Pure and Applied Logic 137 (1-3), 30-61, 2006 | 45 | 2006 |
| Intuitionistic formal spaces and their neighbourhood G Sambin Studies in Logic and the Foundations of Mathematics 127, 261-285, 1989 | 44 | 1989 |
Silvio ValentiniUniversità di PadovaVerified email at math.unipd.it
