A predicative analysis of structural recursion
ABEL, ANDREAS, ALTENKIRCH, THORSTENVolume:
12
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796801004191
Date:
January, 2002
File:
PDF, 462 KB
english, 2002