Paul Tarau. On a uniform representation of combinators, arithmetic, lambda terms and types. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 244-255, ACM, 2015. [doi]
Abstract is missing.