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

The compatibility of the minimalist foundation with homotopy type theory. - Michele Contente; Maria Emilia Maietti (Theor. Comput. Sci., 2024)