Type-based termination of generic programs (0)

by Andreas Abel
Venue:Science of Computer Programming