Sch urmann Frank Pfenning, Jo elle Despeyroux. Primitive recursion for higher-order abstract syntax (1997)

by Carsten
Venue:In Third International Conference onTyped Lambda Calculi and Applications, number 1210 in LNCS