Geodesic
Strong normalization of barrecursive terms without using infinite terms.
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 175-182

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

Zbl
Mots-clés : strong normalization theorem, barrecursive terms, functionals of finite type 
Marc Bezem. Strong normalization of barrecursive terms without using infinite terms.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 175-182. http://geodesic.mathdoc.fr/item/AMLG_1985__25_138047/
@article{AMLG_1985__25_138047,
     author = {Marc Bezem},
     title = {Strong normalization of barrecursive terms without using infinite terms.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {175--182},
     year = {1985},
     volume = {25},
     zbl = {0603.03017},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138047/}
}
TY  - JOUR
AU  - Marc Bezem
TI  - Strong normalization of barrecursive terms without using infinite terms.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1985
SP  - 175
EP  - 182
VL  - 25
UR  - http://geodesic.mathdoc.fr/item/AMLG_1985__25_138047/
ID  - AMLG_1985__25_138047
ER  - 
%0 Journal Article
%A Marc Bezem
%T Strong normalization of barrecursive terms without using infinite terms.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1985
%P 175-182
%V 25
%U http://geodesic.mathdoc.fr/item/AMLG_1985__25_138047/
%F AMLG_1985__25_138047