TY - JOUR AU - John Power TI - Enriched Lawvere theories JO - Theory and applications of categories PY - 1999 SP - 83 EP - 93 VL - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_1999_6_a6/ LA - en ID - TAC_1999_6_a6 ER -