Primitive Recursion for Higher-Order Abstract Syntax (1997)

by Joëlle Despeyroux, Frank Pfenning
Venue:Theoretical Computer Science