A proof of strong normalisation using domain theory.
Thierry CoquandArnaud SpiwackPublished in: Log. Methods Comput. Sci. (2007)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- explanation based generalization
- complex domains
- domain specific knowledge
- background knowledge
- training examples
- knowledge based neural networks
- lazy learning
- feature vectors
- constructive induction
- face recognition
- case base
- natural language processing
- case based reasoning
- knowledge representation
- feature space
- version space
- version spaces
- artificial intelligence