Document Versions

A Predicative Analysis of Structural Recursion –Andreas Abel, Thorsten Altenkirch — 1999
A Predicative Analysis of Structural Recursion –Andreas Abel , Thorsten Altenkirch — 1999 — JOURNAL OF FUNCTIONAL PROGRAMMING
A Predicative Analysis of Structural Recursion –Andreas Abel, Thorsten Altenkirch — 1999 — Journal of Functional Programming
A Semantical Analysis of Structural Recursion –Andreas Abel, Thorsten Altenkirch — 1999 — Journal of Functional Programming
A predicative analysis of structural recursion –Andreas Abel, Thorsten Altenkirch — 1999 — Journal of Functional Programming