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
Citations:24 - 10 self