Recursive families of inductive types (2000)

by Venanzio Capretta
Venue:Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science