Induction principles for type theories, internally to presheaf categories.

Rafaël Bocquet Ambrus Kaposi Christian Sattler

Published in: CoRR (2021)

Keyphrases

theoretical framework
machine learning
databases
neural network
evolutionary algorithm
hierarchical structure
concept formation
data sets
computer vision
expert systems
inductive learning
cognitive psychology
program synthesis