TY - JOUR AU - Hongliang Lai AU - Lili Shen TI - Regularity vs. constructive complete (co)distributivity JO - Theory and applications of categories PY - 2018 SP - 492 EP - 522 VL - 33 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2018_33_a17/ LA - en ID - TAC_2018_33_a17 ER -