Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.

Mitsuhiro Okada

Browse the full ISSAC paper archive.