Deriving Category Theory from Type Theory.

Published in: Theory and Formal Methods (1993)

Keyphrases

theoretical framework
database
neural network
data mining
information retrieval
artificial intelligence
feature selection
website
web services
high level
multiscale
reinforcement learning
belief functions
theoretical basis