TY - JOUR AU - Peter Johnstone TI - Geometric morphisms of realizability toposes JO - Theory and applications of categories PY - 2013 SP - 241 EP - 249 VL - 28 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2013_28_a8/ LA - en ID - TAC_2013_28_a8 ER -