The lambda-gamma calculus: A language adequate for defining recursive functions.
Paul C. GilmorePublished in: Inf. Sci. (1970)
Keyphrases
- recursive functions
- inductive inference
- lambda calculus
- formal language
- database query languages
- programming language
- language learning
- pattern languages
- fixed point
- representation language
- type checking
- natural language
- operational semantics
- text categorization
- predicate calculus
- model selection
- support vector machine
- training set