Enumerators of lambda Terms are Reducing.

Henk Barendregt

Published in: J. Funct. Program. (1992)

Keyphrases

significantly reduced
genetic algorithm
evolutionary algorithm
co occurrence
data sets
information retrieval
web pages
three dimensional
bayesian networks
natural language
hidden markov models