A proof of strong normalisation using domain theory
Thierry CoquandArnaud SpiwackPublished in: CoRR (2007)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- explanation based generalization
- domain specific knowledge
- lazy learning
- knowledge based neural networks
- training examples
- background knowledge
- complex domains
- constructive induction
- version spaces
- high level
- version space
- case base
- supervised learning
- training data
- search engine
- information retrieval