Dependent Types for Program Termination Verification.

Hongwei Xi

Browse the full LICS paper archive.