Computational Higher Type Theory IV: Inductive Types.

Evan Cavallo Robert Harper

Published in: CoRR (2018)

Keyphrases

multiple types
theoretical basis
machine learning
theoretical framework
computational models
computational model
inductive learning
concept learning
real time
neural network
data mining
artificial intelligence
data structure
information theory
general theory
quantum mechanics