2000, `Dependent Types for Program Termination Verification'. Available as http://www.cs.bu.edu/~hwxi/DML/Term (0)

by H Xi