CIRAULO, FRANCESCO
CIRAULO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Kuratowski's problem in constructive Topology
2025 Ciraulo, Francesco
Overlap Algebras as Almost Discrete Locales
2023 Ciraulo, Francesco
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
2023 Ciraulo, Francesco
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza.
2022 Ciraulo, Francesco; Maschio, Samuele
Il paper-folding in un’esperienza didattica nella Scuola secondaria di II grado
2022 Bazza, Emma; Tomasi, Luigi; Ciraulo, Francesco
σ-LOCALES IN FORMAL TOPOLOGY
2022 Ciraulo, Francesco
Factorizing the Top-Loc adjunction through positive topologies
2021 Ciraulo, Francesco; Kawai, Tatsuji; Maschio, Samuele
Overlap algebras: A constructive look at complete boolean algebras
2020 Ciraulo, F.; Contente, M.
Solving Knights-and-Knaves with One Equation
2020 Ciraulo, Francesco; Maschio, Samuele
Educare al pensiero razionale nella scuola primaria: una proposta didattica
2019 Bredariol, Serena; Ciraulo, Francesco
Reducibility, a constructive dual of spatiality
2019 Ciraulo, Francesco; Sambin, Giovanni
Eating Pizza to learn fractions
2018 Gaggi, Ombretta; Ciraulo, Francesco; Casagrande, Marco
Embedding locales and formal topologies into positive topologies
2018 Ciraulo, Francesco; Sambin, Giovanni
Geometria fra immagini, immaginazione e... "magia"!
2018 Ciraulo, Francesco
Cavalieri e furfanti? Basta un'equazione!
2017 Ciraulo, Francesco; Maschio, Samuele
Lindenbaum’s Lemma via Open Induction
2016 Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter
Positivity relations on a locale
2016 Ciraulo, Francesco; Vickers, Steven
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
Intuitionistic overlap structures
2013 Ciraulo, Francesco