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