A definitional approach to primitivexs recursion over higher order abstract syntax.

S. J. Ambler, Roy L. Crole, Alberto Momigliano

Browse the full ICFP paper archive.