An interpretation of system F through bar recursion.

Published in: LICS (2017)

Keyphrases

image interpretation
semantic interpretation
deductive databases
information systems
database
neural network
data mining
social networks
decision trees
high level
lower bound
artificial neural networks
transitive closure