Primitive recursion for higher order abstract syntax (1996)

by Joëlle Despeyroux , Frank Pfenning , Carsten Schürmann
Venue:Carnegie Mellon University
Citations:7 - 0 self