SAMBIN, GIOVANNI
SAMBIN, GIOVANNI
Relational semantics of basic logic
In corso di stampa Macedonio, D.; Sambin, Giovanni
The Basic Picture and Positive Topology. New structures for constructive mathematics
In corso di stampa Sambin, Giovanni
Topology as Faithful Communication Through Relations
2020 Maschio, Samuele; Sambin, Giovanni
Dynamics in foundations: what does it mean in the practice of mathematics?
2019 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
Matematica costruttiva
2015 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
Real and ideal in constructive mathematics
2012 Sambin, Giovanni
Special issue Third Workshop on Formal Topology
2012 A., Bauer; T., Coquand; Sambin, Giovanni; P., Schuster
A minimalist foundation at work
2011 Sambin, Giovanni
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
2011 Asperti, A.; Maietti, MARIA EMILIA; SACERDOTI COEN, C.; Sambin, Giovanni; Valentini, Silvio
Logica intuizionistica e logica classica a confronto
2011 Sambin, Giovanni