TY - JOUR AU - Townsend, Christopher F. TI - A categorical proof of the equivalence of local compactness and exponentiability in locale theory JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2006 SP - 233 EP - 239 VL - 47 IS - 3 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://www.numdam.org/item/CTGDC_2006__47_3_233_0/ LA - en ID - CTGDC_2006__47_3_233_0 ER -