@misc{indiciaef012f47d9a1a,
  title = {Type Arithmetics: Computation based on the theory of types},
  author = {Oleg Kiselyov},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0104010},
  note = {Source identifier: cs/0104010}
}