Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus

Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno. Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. In Sophie Tison, editor, Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Volume 2378 of Lecture Notes in Computer Science, pages 51-65, Springer, 2002. [doi]

Abstract

Abstract is missing.