The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types.

Giuseppe Longo Eugenio Moggi

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

Keyphrases

theoretical framework
belief functions
theoretical basis
information retrieval
higher quality
real time
real world
data mining
multiresolution
hidden markov models
constraint satisfaction problems
information theory
general theory