@misc{indiciae4c0cb7c9b2cd,
  title = {Strong Normalization for the Calculus of Constructions},
  author = {Chris Casinghino},
  year = {2022},
  url = {https://arxiv.org/abs/2210.11240},
  note = {Source identifier: 2210.11240}
}