@misc{indiciaea896e56a05e5,
  title = {A Naive Encoding of Russell's Paradox in Type Theory},
  author = {Zhuoyuan Qu},
  year = {2026},
  url = {https://arxiv.org/abs/2601.00811},
  note = {Source identifier: 2601.00811}
}