Sfoglia per Autore
The Basic Picture and Positive Topology. New structures for constructive mathematics
In corso di stampa 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.
Dynamics in foundations: what does it mean in the practice of mathematics?
2019 Sambin, Giovanni
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
Matematica costruttiva
2015 Sambin, Giovanni
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Why topology in the Minimalist Foundation must be pointfree
2013 Maietti, MARIA EMILIA; Sambin, Giovanni
Editorial: Special issue on non-classical mathematics
2013 Běhounek, Libor; Restall, Greg; Sambin, Giovanni
A constructive Galois connection between closure and interior
2012 Ciraulo, Francesco; Sambin, Giovanni
Special issue Third Workshop on Formal Topology
2012 A., Bauer; T., Coquand; Sambin, Giovanni; P., Schuster
Real and ideal in constructive mathematics
2012 Sambin, Giovanni
Reale e ideale in matematica
2011 Sambin, Giovanni
A minimalist foundation at work
2011 Sambin, Giovanni
Logica intuizionistica e logica classica a confronto
2011 Sambin, Giovanni
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile