Dependent types for program termination veri (2002)

by Hongwei Xi
Venue:In Proceedings of 16th IEEE Symposium on Logic in Computer Science