De Bruijn s Syntax and Reductional Equivalence of Lambda-Terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt. De Bruijn s Syntax and Reductional Equivalence of Lambda-Terms. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 16-27, ACM, 2001.

This author has not been identified. Look up 'Fairouz Kamareddine' in GoogleThis author has not been identified. Look up 'Roel Bloo' in GoogleThis author has not been identified. Look up 'Rob Nederpelt' in Google

runs on WebDSL