AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Giovanni Sambin

Giovanni Sambin

Università degli Studi di Padova - Padova / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1806463
University of Padua
person_outline Giovanni Sambin's MOST POPULAR ARTICLES
1-) Intuitionistic type theory Bibliopolis 9, 136, 1984
2-) Intuitionistic formal spaces—a first communication Mathematical logic and its applications, 187-204, 1987
3-) Some points in formal topology Theoretical computer science 305 (1), 347-408, 2003
4-) Basic logic: reflection, symmetry, visibility The Journal of Symbolic Logic 65 (3), 979-1013, 2000
5-) Inductively generated formal topologies Annals of Pure and Applied Logic 124 (1-3), 71-106, 2003