TY - JOUR AU - Graham Manuell TI - Uniform locales and their constructive aspects JO - Theory and applications of categories PY - 2024 SP - 238 EP - 267 VL - 41 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2024_41_a7/ LA - en ID - TAC_2024_41_a7 ER -