@misc{indiciaefe36ecc50b41,
  title = {Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms},
  author = {Michele Pagani and Christine Tasson and Lionel Vaux},
  year = {2016},
  url = {https://arxiv.org/abs/1603.07218},
  note = {Source identifier: 1603.07218}
}