%0 Journal Article
%A Peter Johnstone
%T The Gleason cover of a realizability topos
%J Theory and applications of categories
%D 2013
%P 1139-1152
%V 28
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2013_28_a31/
%G en
%F TAC_2013_28_a31