Document Versions

Dependent Types for Program Termination Verification –Hongwei Xi — 2001
Dependent Types for Program Termination Verification –Hongwei Xi — 2000 — Journal of Higher-Order and Symbolic Computation
Dependent Types for Program Termination Verification –Hongwei Xi — 2000 — Journal of Higher-Order and Symbolic Computation
Dependent Types for Program Termination Verification –Hongwei Xi — 2002 — Journal of Higher-Order and Symbolic Computation
Dependent types for program termination verification –Hongwei Xi — 2001 — Journal of Higher-Order and Symbolic Computation