CIRAULO, FRANCESCO
CIRAULO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
$sigma$-locales in Formal Topology
2022 Ciraulo, Francesco
A class of imprimitive groups
2010 C., Bartolone; Ciraulo, Francesco
A constructive Galois connection between closure and interior
2012 Ciraulo, Francesco; Sambin, Giovanni
A constructive investigation of satisfiability
2012 Ciraulo, Francesco
A constructive semantics for non-deducibility
2008 Ciraulo, Francesco
Cavalieri e furfanti? Basta un'equazione!
2017 Ciraulo, Francesco; Maschio, Samuele
Constructive version of Boolean algebra
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; P., Toto
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Eating Pizza to learn fractions
2018 Gaggi, Ombretta; Ciraulo, Francesco; Casagrande, Marco
Educare al pensiero razionale nella scuola primaria: una proposta didattica
2019 Bredariol, Serena; Ciraulo, Francesco
Embedding locales and formal topologies into positive topologies
2018 Ciraulo, Francesco; Sambin, Giovanni
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza.
2022 Ciraulo, Francesco; Maschio, Samuele
Factorizing the Top-Loc adjunction through positive topologies
2021 Ciraulo, Francesco; Kawai, Tatsuji; Maschio, Samuele
Finitary formal topologies and Stone's representation theorem
2008 Ciraulo, Francesco; Sambin, Giovanni
Finiteness in a minimalist foundation
2008 Ciraulo, Francesco; Sambin, Giovanni
Geometria fra immagini, immaginazione e... "magia"!
2018 Ciraulo, Francesco
Il paper-folding in un’esperienza didattica nella Scuola secondaria di II grado
2022 Bazza, Emma; Tomasi, Luigi; Ciraulo, Francesco
Intuitionistic overlap structures
2013 Ciraulo, Francesco
Lindenbaum’s Lemma via Open Induction
2016 Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter
Overlap Algebras as Almost Discrete Locales
2023 Ciraulo, Francesco