Thorsten Altenkirch. Proving Strong Normalization of CC by Modifying Realizability Semantics. In Henk Barendregt, Tobias Nipkow, editors, Types for Proofs and Programs, International Workshop TYPES 93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers. Volume 806 of Lecture Notes in Computer Science, pages 3-18, Springer, 1993.
Abstract is missing.