My papers:

• A total AC-compatible Reduction Ordering on Higher-Order Terms  --- appeared in ICALP'98 Proceedings
• BiBTeX entry
• abstract
• full paper


• Termination of Rewriting in the Calculus of Constructions --- Phd thesis defended in April 2003
• BiBTeX entry
• full paper