@misc{indiciae159bf87ff066,
  title = {From Self-Interpreters to Normalization by Evaluation},
  author = {Mathieu Boespflug},
  year = {2009},
  url = {https://arxiv.org/abs/0911.4203},
  note = {Source identifier: 0911.4203}
}