TY  - JOUR
AU  - Szabo, M. E.
TI  - A Counter-Example to Coherence in Cartesian Closed Categories
JO  - Canadian mathematical bulletin
PY  - 1975
SP  - 111
EP  - 114
VL  - 18
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1975-020-1/
DO  - 10.4153/CMB-1975-020-1
ID  - 10_4153_CMB_1975_020_1
ER  -