1 research outputs found
Notes on higher-dimensional tarai functions
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