@misc{indiciae624ed898d6e6,
  title = {Compaction of Church Numerals for Higher-Order Compression},
  author = {Isamu Furuya and Takuya Kida},
  year = {2017},
  url = {https://arxiv.org/abs/1706.10061},
  note = {Source identifier: 1706.10061}
}