Tarmo Uustalu. Type-based termination of recursive definitions (0)

by Gilles Barthe, Maria João Frade, E Giménez, Luis Pinto
Venue:Math. Struct. Comp. Sci