Notes on higher-dimensional tarai functions
Discrete Mathematics
2011-03-23 v2
Abstract
We proved that for every , the -dimensional tarai function terminates with call-by-need. It was also shown that the closed form for the function suggested by T. Bailey and J. Cowles is correct.
Cite
@article{arxiv.1007.0467,
title = {Notes on higher-dimensional tarai functions},
author = {Tetsuya Ishiu},
journal= {arXiv preprint arXiv:1007.0467},
year = {2011}
}