Finiteness in a Minimalist Foundation. - Francesco Ciraulo; Giovanni Sambin (TYPES, 2007)

A constructive semantics for non-deducibility. - Francesco Ciraulo (Math. Log. Q., 2008)

Finitary formal topologies and Stone's representation theorem. - Francesco Ciraulo; Giovanni Sambin (Theor. Comput. Sci., 2008)

A constructive investigation of satisfiability. - Francesco Ciraulo (Ann. Pure Appl. Log., 2012)

A constructive Galois connection between closure and interior. - Francesco Ciraulo; Giovanni Sambin (J. Symb. Log., 2012)

Regular opens in constructive topology and a representation theorem for overlap algebras. - Francesco Ciraulo (Ann. Pure Appl. Log., 2013)

Constructive version of Boolean algebra. - Francesco Ciraulo; Maria Emilia Maietti; Paola Toto (Log. J. IGPL, 2013)

Convergence in formal topology: a unifying notion. - Francesco Ciraulo; Maria Emilia Maietti; Giovanni Sambin (J. Log. Anal., 2013)

Positivity relations on a locale. - Francesco Ciraulo; Steven Vickers (Ann. Pure Appl. Log., 2016)

Eating Pizza to learn fractions. - Ombretta Gaggi; Francesco Ciraulo; Marco Casagrande (GOODTECHS, 2018)

Embedding locales and formal topologies into positive topologies. - Francesco Ciraulo; Giovanni Sambin (Arch. Math. Log., 2018)

σ-locales and Booleanization in Formal Topology. - Francesco Ciraulo (CoRR, 2018)

Factorizing the Top-Loc adjunction through positive topologies. - Francesco Ciraulo; Tatsuji Kawai; Samuele Maschio (CoRR, 2018)

Reducibility, a constructive dual of spatiality. - Francesco Ciraulo; Giovanni Sambin (J. Log. Anal., 2019)

Overlap Algebras: a Constructive Look at Complete Boolean Algebras. - Francesco Ciraulo; Michele Contente (Log. Methods Comput. Sci., 2020)

Factorizing the $ mathbf {Top}$-$ mathbf {Loc}$ adjunction through positive topologies. - Francesco Ciraulo; Tatsuji Kawai; Samuele Maschio (Arch. Math. Log., 2021)

σ-locales in Formal Topology. - Francesco Ciraulo (Log. Methods Comput. Sci., 2022)

Overlap Algebras as Almost Discrete Locales. - Francesco Ciraulo (Log. Methods Comput. Sci., 2023)

Kuratowski's problem in constructive Topology. - Francesco Ciraulo (J. Log. Anal., 2025)