A Proof of Strong Normalisation using Domain Theory.
Thierry CoquandArnaud SpiwackPublished in: LICS (2006)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- explanation based generalization
- inductive learning
- domain specific knowledge
- background knowledge
- constructive induction
- complex domains
- lazy learning
- training examples
- knowledge based neural networks
- version spaces
- case base
- version space
- co occurrence
- artificial intelligence
- learning algorithm
- data sets