Author

Giovanni Sambin

Observed names: G SAMBIN, G. Sambin, SAMBIN, GIOVANNI, Sambin, Giovanni

Observed institutions: University of Siena, University of Verona, University of Leeds, University of Padua, Japan Advanced Institute of Science and Technology, Cambridge University Press, Massachusetts Institute of Technology

ORCID: 0000-0002-8912-7088

Observed ORCID: 0000-0002-8912-7088

OpenAlex ID: A5008668111

Intuitionistic Formal Spaces — A First Communication

1987 · Giovanni Sambin · Springer eBooks · 205

Twenty Five Years of Constructive Type Theory

1998 · Giovanni Sambin, Jan M. Smith · Oxford University Press eBooks · 188

Basic logic: reflection, symmetry, visibility

2000 · Giovanni Sambin, Giulia Battilotti, et al. · Journal of Symbolic Logic · 170

Some points in formal topology

2003 · Giovanni Sambin · Theoretical Computer Science · 159

Inductively generated formal topologies

2003 · Thierry Coquand, Giovanni Sambin, et al. · Annals of Pure and Applied Logic · 136

Topology and duality in modal logic

1988 · Giovanni Sambin, Virginia Vaccaro · Annals of Pure and Applied Logic · 125

A new proof of Sahlqvist's theorem on modal definability and completeness

1989 · G. Sambin, V. Vaccaro · Journal of Symbolic Logic · 93

The modal logic of provability. The sequential approach

1982 · Giovanni Sambin, Silvio Valentini · Journal of Philosophical Logic · 89

An effective fixed-point theorem in intuitionistic diagonalizable algebras

1976 · Giovanni Sambin · Studia Logica · 64

Pretopologies and completeness proofs

1995 · Giovanni Sambin · Journal of Symbolic Logic · 58

Constructive domain theory as a branch of intuitionistic pointfree topology

1996 · Giovanni Sambin, Silvio Valentini, et al. · Theoretical Computer Science · 56

PDF

A Preview of the Basic Picture: A New Perspective on Formal Topology

1999 · Giovanni Sambin, Silvia Gebellato · Lecture notes in computer science · 55

Toward a Minimalist Foundation for Constructive Mathematics

2005 · Maria Emilia Maietti, Giovanni Sambin · Oxford University Press eBooks · 50

Toward a minimalistic foundation for constructive mathematics.

2005 · Maria Emilia Maietti, Giovanni Sambin · 49

Convergence in formal topology: a unifying notion

2013 · Francesco Ciraulo, Maria Emilia Maietti, et al. · Journal of Logic and Analysis · 44

PDF

Provability: the emergence of a mathematical modality

1991 · George Boolos, Giovanni Sambin · Studia Logica · 43

Finitary formal topologies and Stone’s representation theorem

2008 · Francesco Ciraulo, Giovanni Sambin · Theoretical Computer Science · 36

The overlap algebra of regular opens

2010 · Francesco Ciraulo, Giovanni Sambin · Journal of Pure and Applied Algebra · 35

PDF

Building up a toolbox for Martin-Löf’s type theory: subset theory

1998 · Giovanni Sambin, Silvio Valentini · Oxford University Press eBooks · 32

Formal topologies on the set of first-order formulae

2000 · Thierry Coquand, Sara Sadocco, et al. · Journal of Symbolic Logic · 31

An incomplete system of modal logic

1985 · George Boolos, Giovanni Sambin · Journal of Philosophical Logic · 31

A modal sequent calculus for a fragment of arithmetic

1980 · G. Sambin, S. Valentini · Studia Logica · 29

Why topology in the minimalist foundation must be pointfree

2013 · Maria Emilia Maietti, Giovanni Sambin · Logic and Logical Philosophy · 28

Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology

2008 · Giovanni Sambin · Birkhäuser Basel eBooks · 27

Intuitionistic formal spaces and their neighbourhood

1989 · Giovanni Sambin · Studies in logic and the foundations of mathematics · 27

Works count: 108

Citation count: 2,220

H-index: 25

I10-index: 39