A Partial Functions Version of Church's Simple Theory of Types.

William M. Farmer

Published in: J. Symb. Log. (1990)

Keyphrases

real time
feature selection
relational databases
conceptual framework
database
neural network
genetic algorithm
multi agent
expert systems
multiresolution
data model
theoretical framework
theoretical foundation