Differential recursion. Kawamura, A. ACM Trans. Comput. Log., 10(3):Art. 22, 22, 2009.
Differential recursion [link]Paper  doi  bibtex   
@ARTICLE{Kaw09,
  author = {Kawamura, Akitoshi},
  title = {Differential recursion},
  journal = {ACM Trans. Comput. Log.},
  year = {2009},
  volume = {10},
  pages = {Art. 22, 22},
  number = {3},
  doi = {10.1145/1507244.1507252},
  fjournal = {ACM Transactions on Computational Logic},
  issn = {1529-3785},
  keywords = {bib,cca},
  mrclass = {03D78 (68Q05)},
  mrnumber = {2535441 (2011b:03070)},
  mrreviewer = {Ning Zhong},
  owner = {Vasco},
  timestamp = {2013.12.01},
  url = {http://dx.doi.org/10.1145/1507244.1507252}
}

Downloads: 0