A characterization of the Taylor expansion of lambda-terms.

Pierre Boudes Fanny He Michele Pagani

Published in: CSL (2013)

Keyphrases

genetic algorithm
database systems
data sets
data mining
artificial intelligence
co occurrence
programming language
information retrieval systems