Document Versions

Primitive Recursion for Higher-Order Abstract Syntax –Joëlle Despeyroux, Frank Pfenning — 1997 — Theoretical Computer Science
Primitive Recursion for Higher-Order Abstract Syntax –Frank Pfenning — 1997 — Theoretical Computer Science