The Completeness Theorem for Typing lambda-Terms.

J. Roger Hindley

Published in: Theor. Comput. Sci. (1983)

Keyphrases

neural network
information systems
learning algorithm
image segmentation
multiscale
search algorithm
digital libraries
logic programs