A definitional approach to primitivexs recursion over higher order abstract syntax. - S. J. Ambler; Roy L. Crole; Alberto Momigliano (MERLIN, 2003)