A Pronominal Approach to Binding and Computation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Harper, Daniel R. Licata, Noam Zeilberger. A Pronominal Approach to Binding and Computation. In Pierre-Louis Curien, editor, Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Volume 5608 of Lecture Notes in Computer Science, pages 3-4, Springer, 2009. [doi]

Identified as Robert Harper This author has not been identified. Look up 'Daniel R. Licata' in GoogleThis author has not been identified. Look up 'Noam Zeilberger' in Google

runs on WebDSL