Denotational semantics of recursive types in synthetic guarded domain theory.

Rasmus Ejlers Møgelberg Marco Paviotti

Published in: LICS (2016)

Keyphrases

domain theory
denotational semantics
explanation based learning
inductive learning
domain knowledge
programming language
background knowledge
knowledge based neural networks
high level
data sets
general purpose
case base
case based reasoning
data points
query language
machine learning
data mining