Hongwei's Manuscripts

  1. Hongwei Xi, Dependent Types in Practical Programming (Ph.D thesis), September, 1998

  2. Joachim Steinbach and Hongwei Xi, Freezing -- Termination Proofs for Classical, Context-Sensitive and Innermost Rewriting, January, 1998

  3. Hongwei Xi and Frank Pfenning, A Schema for Adding Dependent Types to ML(extended abstract), December, 1997

  4. Hongwei Xi, Generalized Lambda-Calculi(extended abstract), September, 1997

  5. Hongwei Xi, Combining Algebraic Rewriting with Second Order Extentional Polymorphic Lambda Calculus, October, 1996

  6. Hongwei Xi, Separating Developments, October, 1996

  7. Hongwei Xi, On weak and strong normalisations, Research Report 96-187, Mathematics Department, Carnegie Mellon University, 1996.

  8. Hongwei Xi, An induction measure on lambda-terms and its applications, Research Report 96-192, Mathematics Department, Carnegie Mellon University, 1996.

  9. Hongwei Xi, On branching and nonbranching r.e. degrees (in Chinese), Logic conference, Shantou University, P.R. China, October, 1990.