Primitive Recursive Functionals with Dependent Types.

Neal Nelson

Browse the full MFPS paper archive.