Type-based termination of recursive definitions (0)

by G Barthe, M J Frade, E Gimnez, L Pinto, T Uustalu
Venue:Mathematical Structures in Computer Science