Sfoglia per Autore
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
2023 Ciraulo, Francesco
Overlap Algebras as Almost Discrete Locales
2023 Ciraulo, Francesco
Il paper-folding in un’esperienza didattica nella Scuola secondaria di II grado
2022 Bazza, Emma; Tomasi, Luigi; Ciraulo, Francesco
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza.
2022 Ciraulo, Francesco; Maschio, Samuele
$sigma$-locales in Formal Topology
2022 Ciraulo, Francesco
Factorizing the Top-Loc adjunction through positive topologies
2021 Ciraulo, Francesco; Kawai, Tatsuji; Maschio, Samuele
Solving Knights-and-Knaves with One Equation
2020 Ciraulo, Francesco; Maschio, Samuele
Overlap algebras: A constructive look at complete boolean algebras
2020 Ciraulo, F.; Contente, M.
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
Geometria fra immagini, immaginazione e... "magia"!
2018 Ciraulo, Francesco
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
Cavalieri e furfanti? Basta un'equazione!
2017 Ciraulo, Francesco; Maschio, Samuele
Positivity relations on a locale
2016 Ciraulo, Francesco; Vickers, Steven
Lindenbaum’s Lemma via Open Induction
2016 Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter
Regular opens in constructive topology and a representation theorem for overlap algebras
2013 Ciraulo, Francesco
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Constructive version of Boolean algebra
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; P., Toto
Intuitionistic overlap structures
2013 Ciraulo, Francesco
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