Primitive Recursion for Higher-Order Abstract Syntax - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann. Primitive Recursion for Higher-Order Abstract Syntax. In Philippe de Groote, editor, Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA 97, Nancy, France, April 2-4, 1997, Proceedings. Volume 1210 of Lecture Notes in Computer Science, pages 147-163, Springer, 1997.

This author has not been identified. Look up 'Joëlle Despeyroux' in GoogleIdentified as Frank Pfenning This author has not been identified. Look up 'Carsten Schürmann' in Google

runs on WebDSL