1 problem

0 votes0 replies0 views
Grygiel–Lescanne conjecture on binary lambda-term enumeration
Let $m$ be the number of free indices and let $n$ be the size of a binary lambda term, encoded as a binary word of length $n$ according to Tromp's weights. Let…
Conjectureopende-bruijn-indices enumerative-combinatorics lambda-calculusarXiv posted 2 days ago

Grygiel–Lescanne conjecture on binary lambda-term enumeration