@misc{indiciae996dd172d4f3,
  title = {Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality},
  author = {Andreas Abel and Thierry Coquand},
  year = {2020},
  doi = {10.23638/lmcs-16(2:14)2020},
  url = {https://arxiv.org/abs/1911.08174},
  note = {Source identifier: 1911.08174}
}