Nested Recursion.
Mathematische Annalen, Tome 143 (1961), pp. 236-250
Cet article a éte moissonné depuis la source European Digital Mathematics Library
@article{MAN_1961__143_160860,
author = {W.W. TAIT},
title = {Nested {Recursion.}},
journal = {Mathematische Annalen},
pages = {236--250},
year = {1961},
volume = {143},
url = {http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/}
}
W.W. TAIT. Nested Recursion.. Mathematische Annalen, Tome 143 (1961), pp. 236-250. http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/