Inductive types in homotopy type theory

Steven Awodey Nicola Gambino Kristina Sojakova

Published in: CoRR (2012)

Keyphrases

multiple types
theoretical framework
theoretical basis
deductive reasoning
machine learning
decision trees
artificial neural networks
computational model
multiresolution
inductive reasoning
rule learning
belief functions
real time
support vector
multiscale
information systems
data sets