Equivalence of bar recursors in the theory of functionals of finite type.

Published in: Arch. Math. Log. (1988)

Keyphrases

special case
theoretical basis
machine learning
information retrieval
higher order
theoretical framework
theoretical foundation
image processing
relational databases
general theory