@misc{indiciaeb0572a47db64,
  title = {Tarski's least fixed point theorem: A predicative type theoretic formulation},
  author = {Ian Ray},
  year = {2024},
  url = {https://arxiv.org/abs/2401.00841},
  note = {Source identifier: 2401.00841}
}