Subrecursion and lambda representation over free algebras
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Stratified polymorphismPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Predicative Arithmetic. (MN-32)Published by Walter de Gruyter GmbH ,1986
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985
- The typed λ-calculus is not elementary recursiveTheoretical Computer Science, 1979
- Definierbare Funktionen imλ-Kalkül mit TypenArchive for Mathematical Logic, 1975
- Rekursionszahlen und die Grzegorczyk-HierarchieArchive for Mathematical Logic, 1969
- Hierarchies of Primitive Recursive FunctionsMathematical Logic Quarterly, 1968
- Iteration of Primitive RecursionMathematical Logic Quarterly, 1965