TY  - JOUR
AU  - A. A. Babaev
AU  - S. V. Solov'ev
TI  - A~coherence theorem for canonical morphisms in cartesian closed categories
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1979
SP  - 3
EP  - 29
VL  - 88
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a0/
LA  - ru
ID  - ZNSL_1979_88_a0
ER  -