% Source revision: 1581d4cbdd69a0faf34b2089614fe2a814316a6a

@misc{OAI:Weak-and-strong-normalization-in-pure-type-systems-September-25-2026,
  author = {{OpenAI}},
  title = {{Weak and strong normalization in pure type systems}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Weak-and-strong-normalization-in-pure-type-systems-September-25-2026/paper.pdf}{OAI:Weak-and-strong-normalization-in-pure-type-systems-September-25-2026}},
  year = {2026}
}