Login / Signup
An interpretation of system F through bar recursion.
Valentin Blot
Published in:
CoRR (2018)
Keyphrases
</>
image interpretation
complex objects
data sets
high level
metadata
multi agent
learning environment
expert systems
logic programs
deductive databases
probabilistic interpretation