A Predicative Analysis of Structural Recursion (1999)
Cached
Download Links
by
Andreas Abel
,
Thorsten Altenkirch
| Citations: | 36 - 18 self |
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 |
