| |
| 2007 | ||
|---|---|---|
| 4 | EE | Giovanni Curi: Exact approximations to Stone-Cech compactification. Ann. Pure Appl. Logic 146(2-3): 103-123 (2007) |
| 2006 | ||
| 3 | EE | Giovanni Curi: On the collection of points of a formal space. Ann. Pure Appl. Logic 137(1-3): 126-146 (2006) |
| 2003 | ||
| 2 | EE | Giovanni Curi: Constructive metrisability in point-free topology. Theor. Comput. Sci. 305(1-3): 85-109 (2003) |
| 2000 | ||
| 1 | EE | Giovanni Curi: Formal topologies with weight and distance - A predicative framework for analysis. Electr. Notes Theor. Comput. Sci. 35: (2000) |