Giovanni Sambin

35 papers C 1Journal 27Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
Topology as Faithful Communication Through Relations.
Fundam. Informaticae
Samuele Maschio, Giovanni Sambin
2019 J jnl
Reducibility, a constructive dual of spatiality.
J. Log. Anal.
Francesco Ciraulo, Giovanni Sambin
2019 J jnl
The principle of pointfree continuity.
Log. Methods Comput. Sci.
Tatsuji Kawai, Giovanni Sambin
2018 J jnl
Embedding locales and formal topologies into positive topologies.
Arch. Math. Log.
Francesco Ciraulo, Giovanni Sambin
2018 J jnl
The principle of point-free continuity.
CoRR
Tatsuji Kawai, Giovanni Sambin
2016 J jnl
Preface.
Ann. Pure Appl. Log.
Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster
2013 J jnl
Convergence in formal topology: a unifying notion.
J. Log. Anal.
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
2013 J jnl
Editorial: Special issue on non-classical mathematics.
Log. J. IGPL
Libor Behounek, Greg Restall, Giovanni Sambin
2012 J jnl
A constructive Galois connection between closure and interior.
J. Symb. Log.
Francesco Ciraulo, Giovanni Sambin
2012 J jnl
Preface.
Ann. Pure Appl. Log.
Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster
2012 — ch.
Real and Ideal in Constructive Mathematics.
Epistemology versus Ontology
Giovanni Sambin
2011 — conf
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.
Calculemus/MKM
Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini
2008 J jnl
Finitary formal topologies and Stone's representation theorem.
Theor. Comput. Sci.
Francesco Ciraulo, Giovanni Sambin
2007 C conf
Doing Without Turing Machines: Constructivism and Formal Topology.
CiE
Giovanni Sambin
2007 — conf
Finiteness in a Minimalist Foundation.
TYPES
Francesco Ciraulo, Giovanni Sambin
2006 J jnl
Preface.
Ann. Pure Appl. Log.
Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin
2006 J jnl
Pretopologies and a uniform presentation of sup-lattices, quantales and frames.
Ann. Pure Appl. Log.
Giulia Battilotti, Giovanni Sambin
2005 J jnl
On the Meaning of Positivity Relations for Regular Formal Spaces.
J. Univers. Comput. Sci.
Giovanni Sambin, Giorgio Trentinaglia
2005 — ch.
Toward a minimalistic foundation for constructive mathematics.
From sets and types to topology and analysis
Maria Emilia Maietti, Giovanni Sambin
2003 J jnl
Inductively generated formal topologies.
Ann. Pure Appl. Log.
Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
2003 J jnl
Some points in formal topology.
Theor. Comput. Sci.
Giovanni Sambin
2000 J jnl
Basic Logic: Reflection, Symmetry, Visibility.
J. Symb. Log.
Giovanni Sambin, Giulia Battilotti, Claudia Faggian
2000 J jnl
Formal Topologies on The Set of First-Order Formulae.
J. Symb. Log.
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
1999 J jnl
Subdirectly Irreducible Modal Algebras and Initial Frames.
Stud Logica
Giovanni Sambin
1998 — conf
A Preview of the Basic Picture: A New Perspective on Formal Topology.
TYPES
Giovanni Sambin, Silvia Gebellato
1998 — conf
Formal topology and domains.
Workshop on Domains
Giovanni Sambin
1996 J jnl
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.
Theor. Comput. Sci.
Giovanni Sambin, Silvio Valentini, Paolo Virgili
1995 J jnl
Pretopologies and Completeness Proofs.
J. Symb. Log.
Giovanni Sambin
1993 — conf
Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).
Kurt Gödel Colloquium
Giovanni Sambin, Silvio Valentini
1991 J jnl
Provability: the emergence of a mathematical modality.
Stud Logica
George Boolos, Giovanni Sambin
1989 J jnl
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness.
J. Symb. Log.
Giovanni Sambin, Virginia Vaccaro
1988 J jnl
Topology and duality in modal logic.
Ann. Pure Appl. Log.
Giovanni Sambin, Virginia Vaccaro
1985 J jnl
An incomplete system of modal logic.
J. Philos. Log.
George Boolos, Giovanni Sambin
1982 J jnl
The modal logic of provability. The sequential approach.
J. Philos. Log.
Giovanni Sambin, Silvio Valentini
1980 J jnl
Post Completeness and Free Algebras.
Math. Log. Q.
Giovanni Sambin, Silvio Valentini