Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004) no. 4

Geodesic

Definable completeness

Bunge, Marta ; Jibladze, Mamumka ; Streicher, Thomas

p. 243-266

Axioms for convenient calculus

Frölicher, Alfred

p. 267-286

On quantales that classify

C^{*}

-algebras

Kruml, David ; Resende, Pedro

p. 287-296

Order convergence and compactness

Van der Zypen, D.

p. 297-300

Descent equivalence

Guo, Xiuzhan ; Sobral, Manuela ; Tholen, Walter

p. 301-315