%0 Journal Article
%A Steven Vickers
%T The double powerlocale and exponentiation: A case study in geometric logic
%J Theory and applications of categories
%D 2004
%P 372-422
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2004_12_a12/
%G en
%F TAC_2004_12_a12