@misc{indiciae9fea0b1b2fb0,
  title = {Termination of rewrite relations on \$λ\$-terms based on Girard's notion of reducibility},
  author = {Frédéric Blanqui},
  year = {2015},
  doi = {10.1016/j.tcs.2015.07.045},
  url = {https://arxiv.org/abs/1509.00649},
  note = {Source identifier: 1509.00649}
}