A Mechanization of Type Theory.

Gérard P. Huet

Published in: IJCAI (1973)

Keyphrases

general theory
digital libraries
theoretical framework
probability theory
formal theory
information retrieval
genetic algorithm
search engine
decision making
multiscale
search algorithm
programming language