@Inproceedings{EPTCS23.5, author = {Roversi, Luca and Vercelli, Luca}, year = {2010}, title = {Safe Recursion on Notation into a Light Logic by Levels}, editor = {Baillot, Patrick}, booktitle = {{\rm Proceedings International Workshop on} Developments in Implicit Computational complExity, {\rm Paphos, Cyprus, 27-28th March 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {23}, publisher = {Open Publishing Association}, pages = {63-77}, doi = {10.4204/EPTCS.23.5}, }