Some Lambda Calculi with Categorial Sums and Products - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel J. Dougherty. Some Lambda Calculi with Categorial Sums and Products. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 137-151, Springer, 1993.

This author has not been identified. Look up 'Daniel J. Dougherty' in Google

runs on WebDSL