On the unification problem for cartesian closed categories (0)

by R Statman