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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Richard Kennaway' in GoogleThis author has not been identified. Look up 'Zurab Khasidashvili' in GoogleThis author has not been identified. Look up 'Adolfo Piperno' in Google

runs on WebDSL