@misc{indiciaef345c83a6335,
  title = {A proof of strong normalisation using domain theory},
  author = {Thierry Coquand and Arnaud Spiwack},
  year = {2007},
  doi = {10.2168/lmcs-3(4:12)2007},
  url = {https://arxiv.org/abs/0709.1401},
  note = {Source identifier: 0709.1401}
}