TY - JOUR AU - A. A. Babaev TI - Equality of maps and coherence theorem for biclosed categories JO - Zapiski Nauchnykh Seminarov POMI PY - 1981 SP - 3 EP - 9 VL - 105 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1981_105_a1/ LA - ru ID - ZNSL_1981_105_a1 ER -