Showing 1–1 of 1 results for author: Ishiu, T

Notes on higher-dimensional tarai functions

Authors: Tetsuya Ishiu

Abstract: We proved that for every $n\geq 3$, the $n$-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. We proved that for every $n\geq 3$, the $n$-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. △ Less

Submitted 22 March, 2011; v1 submitted 3 July, 2010; originally announced July 2010.