Searching for "Primitive recursion for higher-order abstract syntax." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Primitive recursion for higher order abstract syntax
by Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann — 1996 — Carnegie Mellon University
… reconciling higher-order abstract syntax with induction by proposing a system of primitive recursive…
Cited by 6 (0 self) – Add To MetaCart

Primitive Recursion for Higher-Order Abstract Syntax
by Joëlle Despeyroux, Frank Pfenning — 1997 — Theoretical Computer Science
…Primitive Recursion for Higher-Order Abstract Syntax Joëlle Despeyroux 1 , Frank Pfenning 2 ,and…
Cited by 106 (23 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB