@misc{indiciaee847b82b59a4,
  title = {The Gentzen-style monadic translation of Gödel's System T revisited},
  author = {Chuangjie Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.05187},
  note = {Source identifier: 2610.05187}
}