Inductive Types in Homotopy Type Theory.

Steven Awodey Nicola Gambino Kristina Sojakova

Published in: LICS (2012)

Keyphrases

theoretical basis
inductive learning
neural network
multiple types
theoretical framework
artificial intelligence
case study
multiscale
knowledge representation
deductive reasoning
data sets
inductive reasoning
general theory
user interface
information technology
expert systems
data structure
multi agent