Another Look at Nested Recursion (2000)

by Konrad Slind
Venue:In TPHOLs ’00: Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics