Nested General Recursion and Partiality in Type Theory (2000)

by Ana Bove, Venanzio Capretta
Venue:Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, volume 2152 of Lecture Notes in Computer Science