Two beta-Equal lambda-I-Terms with no Types in Common.

Martin W. Bunder J. Roger Hindley

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

Keyphrases

multiresolution
multimedia
data sets
genetic algorithm
e learning
knowledge base
three dimensional
preprocessing
data model