SAMBIN, GIOVANNI
SAMBIN, GIOVANNI
Relational semantics of basic logic
In corso di stampa Macedonio, D.; Sambin, Giovanni
Topology as Faithful Communication Through Relations
2020 Maschio, Samuele; Sambin, Giovanni
Reducibility, a constructive dual of spatiality
2019 Ciraulo, Francesco; Sambin, Giovanni
The principle of pointfree continuity
2019 Kawai, T.; Sambin, G.
Embedding locales and formal topologies into positive topologies
2018 Ciraulo, Francesco; Sambin, Giovanni
C for Constructivism. Beyond clichés
2017 Sambin, Giovanni
Costruttivismo, oltre i luoghi comuni
2017 Sambin, Giovanni
The basic Zariski topology
2015 Rinaldi, Davide; Sambin, Giovanni; Schuster, Peter
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Editorial: Special issue on non-classical mathematics
2013 Běhounek, Libor; Restall, Greg; Sambin, Giovanni
Why topology in the Minimalist Foundation must be pointfree
2013 Maietti, MARIA EMILIA; Sambin, Giovanni
A constructive Galois connection between closure and interior
2012 Ciraulo, Francesco; Sambin, Giovanni
The overlap algebra of regular opens
2010 Ciraulo, Francesco; Sambin, Giovanni
Finitary formal topologies and Stone's representation theorem
2008 Ciraulo, Francesco; Sambin, Giovanni
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
2006 Battilotti, Giulia; Sambin, Giovanni
On the meaning of positivity relations for regular formal spaces
2005 Sambin, Giovanni; Trentinaglia, G.
Inductively generated formal topologies
2003 Coquand, T.; Sambin, Giovanni; Smith, J.; Valentini, Silvio
Some points in formal topology
2003 Sambin, Giovanni
Basic logic: reflection, symmetry, visibility
2000 Sambin, Giovanni; Battilotti, Giulia; Faggian, C.
Formal topologies on the set of first order formulae
2000 Coquand, T. H.; Sadocco, S.; Sambin, Giovanni; Smith, J.