S. J. Ambler, Roy L. Crole, Alberto Momigliano. A definitional approach to primitivexs recursion over higher order abstract syntax. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]
Abstract is missing.