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