Primitive recursion for higher-order abstract syntax (1997)

by Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann
Venue:Proc. Int’l Conf. on Typed Lambda Calculi and Applications (TLCA’97