Type-based termination of recursive definitions (0)

by G Barthe, M Frade, E Giménez, L Pinto, T Uustalu
Venue:Mathematical Structures in Computer Science