SAMBIN, GIOVANNI
SAMBIN, GIOVANNI
A constructive Galois connection between closure and interior
2012 Ciraulo, Francesco; Sambin, Giovanni
A minimalist foundation at work
2011 Sambin, Giovanni
A modal sequent calculus for a fragment of arithmetic
1980 Sambin, Giovanni; Valentini, Silvio
A new and elementary method to represent every complete boolean algebra.
1996 Sambin, Giovanni
A new proof of Sahlqvist's theorem on modal definability and completeness
1989 Sambin, Giovanni; V., Vaccaro
A preview of the basic picture: a new perspective in formal topology
1999 Sambin, Giovanni; S., Gebellato
An effective fixed-point theorem in intuitionistic diagonalizable algebras
1976 Sambin, Giovanni
An incomplete system of modal logic
1985 G., Boolos; Sambin, Giovanni
Aspetti topologici degli o-filtri (o-filtri II)
1973 Sambin, Giovanni
Basic logic and the cube of its extensions.
1999 Battilotti, G.; Sambin, Giovanni
Basic logic: reflection, symmetry, visibility
2000 Sambin, Giovanni; Battilotti, Giulia; Faggian, C.
Building up a toolbox for Martin-Loef's type theory: subset theory
1998 Sambin, Giovanni; Valentini, Silvio
C for Constructivism. Beyond clichés
2017 Sambin, Giovanni
Constructive domain theory as a branch of intuitionistic pointfree topology
1996 Sambin, Giovanni; Valentini, Silvio; Virgili, P.
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Costruttivismo, oltre i luoghi comuni
2017 Sambin, Giovanni
Doing without Turing machines: constructivism and formal topology
2007 Sambin, Giovanni
Dynamics in foundations: what does it mean in the practice of mathematics?
2019 Sambin, Giovanni
Editorial: Special issue on non-classical mathematics
2013 Běhounek, Libor; Restall, Greg; Sambin, Giovanni
Embedding locales and formal topologies into positive topologies
2018 Ciraulo, Francesco; Sambin, Giovanni