@misc{indiciaec4cff7c136ee,
  title = {A natural counting of lambda terms},
  author = {Maciej Bendkowski and Katarzyna Grygiel and Pierre Lescanne and Marek Zaionc},
  year = {2016},
  url = {https://arxiv.org/abs/1506.02367},
  note = {Source identifier: 1506.02367}
}