Geodesic
Nested Recursion.
Mathematische Annalen, Tome 143 (1961), pp. 236-250 
W.W. TAIT. Nested Recursion.. Mathematische Annalen, Tome 143 (1961), pp. 236-250. http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/
@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/}
}
TY  - JOUR
AU  - W.W. TAIT
TI  - Nested Recursion.
JO  - Mathematische Annalen
PY  - 1961
SP  - 236
EP  - 250
VL  - 143
UR  - http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/
ID  - MAN_1961__143_160860
ER  - 
%0 Journal Article
%A W.W. TAIT
%T Nested Recursion.
%J Mathematische Annalen
%D 1961
%P 236-250
%V 143
%U http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/
%F MAN_1961__143_160860

Voir la notice de l'article provenant de la source European Digital Mathematics Library