Metric spaces in type theory via formal topology. - Giovanni Curi (Workshop on Domains, 1998)

Constructive metrisability in point-free topology. - Giovanni Curi (Theor. Comput. Sci., 2003)

On the collection of points of a formal space. - Giovanni Curi (Ann. Pure Appl. Log., 2006)

Exact approximations to Stone-Cech compactification. - Giovanni Curi (Ann. Pure Appl. Log., 2007)

On the T1 axiom and other separation properties in constructive point-free and point-set topology. - Peter Aczel; Giovanni Curi (Ann. Pure Appl. Log., 2010)

On the existence of Stone-Cech compactification. - Giovanni Curi (J. Symb. Log., 2010)

On some peculiar aspects of the constructive theory of point-free spaces. - Giovanni Curi (Math. Log. Q., 2010)

Topological inductive definitions. - Giovanni Curi (Ann. Pure Appl. Log., 2012)

Abstract Inductive and Co-Inductive Definitions. - Giovanni Curi (J. Symb. Log., 2018)

Constructive strong regularity and the extension property of a compactification. - Giovanni Curi (Ann. Pure Appl. Log., 2023)