TY  - JOUR
AU  - Steven Vickers
TI  - The double powerlocale and exponentiation: A case study in geometric logic
JO  - Theory and applications of categories
PY  - 2004
SP  - 372
EP  - 422
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2004_12_a12/
LA  - en
ID  - TAC_2004_12_a12
ER  -