Combinatorics of $$\lambda$$-terms: a natural approach.

Maciej Bendkowski Katarzyna Grygiel Pierre Lescanne Marek Zaionc

Published in: J. Log. Comput. (2017)

Keyphrases

machine learning
genetic algorithm
search engine
high level
multiscale