![]() |
Volumn 12, Issue 1, 2002, Pages 1-41
|
A predicative analysis of structural recursion
|
Author keywords
[No Author keywords available]
|
Indexed keywords
MATHEMATICAL OPERATORS;
RECURSIVE FUNCTIONS;
SEMANTICS;
SYNTACTICS;
TREES (MATHEMATICS);
FUNCTIONAL PROGRAMMING;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 0036010443
PISSN: 09567968
EISSN: None
Source Type: Journal
DOI: 10.1017/s0956796801004191 Document Type: Article |
Times cited : (38)
|
References (30)
|