Explicit substitutions in the reduction of lambda terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gopalan Nadathur, Xiaochu Qi. Explicit substitutions in the reduction of lambda terms. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 195-206, ACM, 2003. [doi]

This author has not been identified. Look up 'Gopalan Nadathur' in GoogleThis author has not been identified. Look up 'Xiaochu Qi' in Google

runs on WebDSL