Intensional Interpretations of Functionals of Finite Type I.

William W. Tait

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

Keyphrases

higher order
type ii
special case
data integration
data sets
neural network
unit length
finite number
search algorithm
data mining
computational complexity
multi agent systems
similarity measure
query evaluation
three dimensional
finite automata
real time