Nested Recursion.
TAIT, W.W.
Mathematische Annalen, Tome 142 (1961), p. 236-250 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1961-01-01
EUDML-ID : urn:eudml:doc:160860 
@article{GDZPPN002289326,
     title = {Nested Recursion.},
     journal = {Mathematische Annalen},
     volume = {142},
     year = {1961},
     pages = {236-250},
     url = {http://dml.mathdoc.fr/item/GDZPPN002289326}
}

TAIT, W.W. Nested Recursion.. Mathematische Annalen, Tome 142 (1961) pp. 236-250. http://gdmltest.u-ga.fr/item/GDZPPN002289326/