@misc{indiciaee73a24834f7f,
  title = {Dependent Pearl: Normalization by realizability},
  author = {Pierre-Évariste Dagand and Lionel Rieg and Gabriel Scherer},
  year = {2020},
  url = {https://arxiv.org/abs/1908.09123},
  note = {Source identifier: 1908.09123}
}