Denotational semantics of recursive types in synthetic guarded domain theory.

Rasmus Ejlers Møgelberg Marco Paviotti

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

domain theory
denotational semantics
explanation based learning
inductive learning
programming language
domain knowledge
background knowledge
machine learning
low level
small number
training examples
case base
knowledge based neural networks