Primitive recursion for higher-order abstract syntax (0)

by C Schürmann, J Despeyroux, F Pfenning
Venue:Theoretical Computer Science