Andrea Vezzosi, Andreas Abel 0001. A Categorical Perspective on Pattern Unification (Extended Abstract). In Temur Kutsia, Christophe Ringeissen, editors, Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. pages 69-73, 2014. [doi]
Abstract is missing.