Typebased termination of recursive definitions (0)

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