Type-based termination of generic programs (0)

by A Abel
Venue:Science of Computer Programming