Primitive recursion for higherorder abstract syntax (1997)

by J Despeyroux, F Pfenning, C Schürmann
Venue:In Typed Lambda Calculus and Applications, 3rd International Conference