The projective spectrum as a distributive lattice

Coquand, Thierry; Lombardi, Henri; Schuster, Peter

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 48 (2007) p. 220-228

Products in the category of apartness spaces

Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminita

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 46 (2005) p. 139-153