Post Completeness and Free Algebras. - Giovanni Sambin; Silvio Valentini (Math. Log. Q., 1980)

The modal logic of provability. The sequential approach. - Giovanni Sambin; Silvio Valentini (J. Philos. Log., 1982)

An incomplete system of modal logic. - George Boolos; Giovanni Sambin (J. Philos. Log., 1985)

Topology and duality in modal logic. - Giovanni Sambin; Virginia Vaccaro (Ann. Pure Appl. Log., 1988)

A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. - Giovanni Sambin; Virginia Vaccaro (J. Symb. Log., 1989)

Provability: the emergence of a mathematical modality. - George Boolos; Giovanni Sambin (Stud Logica, 1991)

Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). - Giovanni Sambin; Silvio Valentini (Kurt Gödel Colloquium, 1993)

Pretopologies and Completeness Proofs. - Giovanni Sambin (J. Symb. Log., 1995)

Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology. - Giovanni Sambin; Silvio Valentini; Paolo Virgili (Theor. Comput. Sci., 1996)

A Preview of the Basic Picture: A New Perspective on Formal Topology. - Giovanni Sambin; Silvia Gebellato (TYPES, 1998)

Formal topology and domains. - Giovanni Sambin (Workshop on Domains, 1998)

Subdirectly Irreducible Modal Algebras and Initial Frames. - Giovanni Sambin (Stud Logica, 1999)

Formal Topologies on The Set of First-Order Formulae. - Thierry Coquand; Sara Sadocco; Giovanni Sambin; Jan M. Smith (J. Symb. Log., 2000)

Basic Logic: Reflection, Symmetry, Visibility. - Giovanni Sambin; Giulia Battilotti; Claudia Faggian (J. Symb. Log., 2000)

Inductively generated formal topologies. - Thierry Coquand; Giovanni Sambin; Jan M. Smith; Silvio Valentini (Ann. Pure Appl. Log., 2003)

Some points in formal topology. - Giovanni Sambin (Theor. Comput. Sci., 2003)

Toward a minimalistic foundation for constructive mathematics. - Maria Emilia Maietti; Giovanni Sambin (From sets and types to topology and analysis, 2005)

On the Meaning of Positivity Relations for Regular Formal Spaces. - Giovanni Sambin; Giorgio Trentinaglia (J. Univers. Comput. Sci., 2005)

Preface. - Bernhard Banaschewski; Thierry Coquand; Giovanni Sambin (Ann. Pure Appl. Log., 2006)

Pretopologies and a uniform presentation of sup-lattices, quantales and frames. - Giulia Battilotti; Giovanni Sambin (Ann. Pure Appl. Log., 2006)

Doing Without Turing Machines: Constructivism and Formal Topology. - Giovanni Sambin (CiE, 2007)

Finiteness in a Minimalist Foundation. - Francesco Ciraulo; Giovanni Sambin (TYPES, 2007)

Finitary formal topologies and Stone's representation theorem. - Francesco Ciraulo; Giovanni Sambin (Theor. Comput. Sci., 2008)

Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. - Andrea Asperti; Maria Emilia Maietti; Claudio Sacerdoti Coen; Giovanni Sambin; Silvio Valentini (Calculemus/MKM, 2011)

Preface. - Andrej Bauer; Thierry Coquand; Giovanni Sambin; Peter M. Schuster (Ann. Pure Appl. Log., 2012)

A constructive Galois connection between closure and interior. - Francesco Ciraulo; Giovanni Sambin (J. Symb. Log., 2012)

Real and Ideal in Constructive Mathematics. - Giovanni Sambin (Epistemology versus Ontology, 2012)

Editorial: Special issue on non-classical mathematics. - Libor Behounek; Greg Restall; Giovanni Sambin (Log. J. IGPL, 2013)

Convergence in formal topology: a unifying notion. - Francesco Ciraulo; Maria Emilia Maietti; Giovanni Sambin (J. Log. Anal., 2013)

Preface. - Thierry Coquand; Maria Emilia Maietti; Giovanni Sambin; Peter Schuster 001 (Ann. Pure Appl. Log., 2016)

Embedding locales and formal topologies into positive topologies. - Francesco Ciraulo; Giovanni Sambin (Arch. Math. Log., 2018)

The principle of point-free continuity. - Tatsuji Kawai; Giovanni Sambin (CoRR, 2018)

Reducibility, a constructive dual of spatiality. - Francesco Ciraulo; Giovanni Sambin (J. Log. Anal., 2019)

The principle of pointfree continuity. - Tatsuji Kawai; Giovanni Sambin (Log. Methods Comput. Sci., 2019)

Topology as Faithful Communication Through Relations. - Samuele Maschio; Giovanni Sambin (Fundam. Informaticae, 2020)