Constructing Higher Inductive Types as Groupoid Quotients.

Niels van der Weide

Published in: CoRR (2020)

Keyphrases

equivalence relation
machine learning
inductive learning
neural network
genetic algorithm
genetic programming
information processing
inductive logic programming