Primitive recursion for higher-order abstract syntax (1997)

by J DESPEYROUX, F PFENNING, C SCHÜRMANN
Venue:In Proceedings of the 3rd International Conference on Typed Lambda Calculus and Applications (TLCA’97). Lecture Notes in Computer Science