@misc{indiciaee763a007f66d,
  title = {Intuitionistic fixed point theories over Heyting arithmetic},
  author = {Toshiyasu Arai},
  year = {2010},
  url = {https://arxiv.org/abs/1005.1991},
  note = {Source identifier: 1005.1991}
}