Login / Signup

Constructing Higher Inductive Types as Groupoid Quotients.

Niels van der Weide
Published in: LICS (2020)
Keyphrases
  • machine learning
  • data sets
  • databases
  • knowledge base
  • pattern recognition
  • random walk