Login / Signup
Inductive types deconstructed: the calculus of united constructions.
Stefan Monnier
Published in:
TyDe@ICFP (2019)
Keyphrases
</>
machine learning
computer vision
knowledge base
knowledge representation
real world
metadata
multiresolution
inductive logic programming
inductive learning
inductive inference