A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274. | Publicación