Extracting Recursion Operators in Nuprl's Type Theory (2001)

by James L. Caldwell
Venue:Eleventh International Workshop on Logic -based Program Synthesis, LOPSTR-02, volume 2372 of LNCS