Login / Signup
An infinitary rewriting interpretation of coinductive types.
Lukasz Czajka
Published in:
CoRR (2018)
Keyphrases
</>
high level
image interpretation
computer vision
database
knowledge base
clustering algorithm
decision trees
objective function
semantic interpretation
rewriting rules