Domain theory in univalent foundations II: Continuous and algebraic domains.
Tom de JongMartín Hötzel EscardóPublished in: CoRR (2024)
Keyphrases
- domain theory
- complex domains
- explanation based learning
- inductive learning
- domain knowledge
- inductive bias
- continuous domains
- constructive induction
- domain specific knowledge
- lazy learning
- training examples
- knowledge based neural networks
- background knowledge
- version spaces
- version space
- positive and negative
- case base
- programming language
- e learning
- artificial intelligence