Denotational semantics of recursive types in synthetic guarded domain theory.

Rasmus Ejlers Møgelberg Marco Paviotti

Published in: CoRR (2018)

Keyphrases

domain theory
denotational semantics
explanation based learning
inductive learning
domain knowledge
programming language
feature selection
data sets
knowledge base
small number
background knowledge
operational semantics
knowledge based neural networks