Mitsuhiro Okada. Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. In ISSAC. pages 357-363, 1989. [doi]
No references recorded for this publication.
No citations of this publication recorded.