Type Theory based on Dependent Inductive and Coinductive Types.

Henning Basold Herman Geuvers

Published in: CoRR (2016)

Keyphrases

multiple types
theoretical basis
data mining
theoretical framework
general theory
deductive reasoning
neural network
e learning
multi agent
learning environment
theoretical foundation
information theory