Liste des citations dans Numdam pour : The display locale of a cosheaf

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 36 (1995), p. 53-93 / Harvested from Numdam

Bunge, Marta ; Jibladze, Mamumka ; Streicher, Thomas

Definable completeness
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004), p. 243-266 / Harvested from Numdam