A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family.
Nils Anders DanielssonPublished in: TYPES (2006)
Keyphrases
- recursive programs
- lambda calculus
- programming language
- natural language
- special case
- higher order
- neural network
- learning algorithm
- functional programs
- inductive learning
- mildly context sensitive
- inductive concept learning
- inductive logic programming
- genetic algorithm
- machine learning
- formal analysis
- english language
- language learning
- natural language processing
- database