Giovanni Curi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

4 Giovanni Curi: Exact approximations to Stone-Cech compactification. Ann. Pure Appl. Logic 146(2-3): 103-123 (2007)

2006

3 Giovanni Curi: On the collection of points of a formal space. Ann. Pure Appl. Logic 137(1-3): 126-146 (2006)

2003

2 Giovanni Curi: Constructive metrisability in point-free topology. Theor. Comput. Sci. 305(1-3): 85-109 (2003)

2000

1 Giovanni Curi: Formal topologies with weight and distance - A predicative framework for analysis. Electr. Notes Theor. Comput. Sci. 35: (2000)

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