On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation.

Bernhard Gittenberger Zbigniew Golebiewski

Published in: STACS (2016)

Keyphrases

small number
grow exponentially
maximum number
memory requirements
machine learning
website
case study
data structure
computational complexity
finite number
population size