Expressibility in type theory.

H. Julian Wadleigh

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

theoretical framework
probabilistic model
decision theory
general theory
search engine
computer vision
digital libraries
sufficient conditions
theoretical basis