%0 Journal Article
%A W.W. TAIT
%T Nested Recursion.
%J Mathematische Annalen
%D 1961
%P 236-250
%V 143
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/
%F MAN_1961__143_160860