Giovanni Curi

According to our database, Giovanni Curi authored at least 10 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2023

Constructive strong regularity and the extension property of a compactification.

Giovanni Curi

Ann. Pure Appl. Log., 2023

2018

Abstract Inductive and Co-Inductive Definitions.

Giovanni Curi

J. Symb. Log., 2018

2012

Topological inductive definitions.

Giovanni Curi

Ann. Pure Appl. Log., 2012

2010

On some peculiar aspects of the constructive theory of point-free spaces.

Giovanni Curi

Math. Log. Q., 2010

On the existence of Stone-Cech compactification.

Giovanni Curi

J. Symb. Log., 2010

On the T₁ axiom and other separation properties in constructive point-free and point-set topology.

Peter Aczel, Giovanni Curi

Ann. Pure Appl. Log., 2010

2007

Exact approximations to Stone-Cech compactification.

Giovanni Curi

Ann. Pure Appl. Log., 2007

2006

On the collection of points of a formal space.

Giovanni Curi

Ann. Pure Appl. Log., 2006

2003

Constructive metrisability in point-free topology.

Giovanni Curi

Theor. Comput. Sci., 2003

1998

Metric spaces in type theory via formal topology.

Giovanni Curi

Proceedings of the Workshop on Domains IV 1998, 1998