On the unification problem for Cartesian closed categories | IEEE Conference Publication | IEEE Xplore