Miki Tanaka, John Power. A unified category-theoretic formulation of typed binding signatures. In Randy Pollack, editor, ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005. pages 13-24, ACM, 2005. [doi]
Abstract is missing.