DBLP BibTeX Record 'journals/corr/abs-1005-0522'

@inproceedings{DBLP:journals/corr/abs-1005-0522,
  author    = {Luca Roversi and
               Luca Vercelli},
  title     = {Safe Recursion on Notation into a Light Logic by Levels},
  booktitle = {DICE},
  year      = {2010},
  pages     = {63-77},
  ee        = {http://dx.doi.org/10.4204/EPTCS.23.5},
  crossref  = {DBLP:journals/corr/abs-1005-0653},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/corr/abs-1005-0653,
  editor    = {Patrick Baillot},
  title     = {Proceedings International Workshop on Developments in Implicit
               Computational complExity},
  booktitle = {DICE},
  series    = {EPTCS},
  volume    = {23},
  year      = {2010},
  ee        = {http://dx.doi.org/10.4204/EPTCS.23},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}