Type-based termination of recursive de (2004)

by G Barthe, M J Frade, E Gimenez, L Pinto, T Uustalu
Venue:Math. Struct. in Comput. Sci