@misc{indiciaeb70510c10098,
  title = {Safe Recursion on Notation into a Light Logic by Levels},
  author = {Luca Roversi and Luca Vercelli},
  year = {2010},
  doi = {10.4204/eptcs.23.5},
  url = {https://arxiv.org/abs/1005.0522},
  note = {Source identifier: 1005.0522}
}