Primitive recursive functionals with dependent types (1991)

by N Nelson
Venue:In MFPS, volume 598 of LNCS