Stable results and relative normalization (2000)

by J R W Glauert, J R Kennaway, Z Khasidashvili
Venue:Journal of Logic and Computation 10(3), Special Issue: Type Theory and Term Rewriting