Akira Mori Yoshihiro Matsumoto Coherence for Cartesian Closed Categories: A Sequential Approach. 276-295 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#MoriM94 http://dx.doi.org/10.1007/3-540-60381-6_17