Type Theory Should Eat Itself.

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

general theory
data mining
information systems
computational model
theoretical framework
theoretical foundation
theoretical basis
e learning
decision trees
database systems
image sequences
information technology
evolutionary algorithm