A. J. Kfoury, J. B. Wells. New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 311-321, IEEE Computer Society, 1995.
Abstract is missing.