Strong normalization of barrecursive terms without using infinite terms.
Archiv für mathematische Logik und Grundlagenforschung (1985)
- Volume: 25, page 175-182
- ISSN: 0003-9268
Access Full Article
top
How to cite
topBezem, Marc. "Strong normalization of barrecursive terms without using infinite terms.." Archiv für mathematische Logik und Grundlagenforschung 25 (1985): 175-182. <http://eudml.org/doc/138047>.
@article{Bezem1985,
author = {Bezem, Marc},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {strong normalization theorem; barrecursive terms; functionals of finite type},
pages = {175-182},
title = {Strong normalization of barrecursive terms without using infinite terms.},
url = {http://eudml.org/doc/138047},
volume = {25},
year = {1985},
}
TY - JOUR
AU - Bezem, Marc
TI - Strong normalization of barrecursive terms without using infinite terms.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1985
VL - 25
SP - 175
EP - 182
KW - strong normalization theorem; barrecursive terms; functionals of finite type
UR - http://eudml.org/doc/138047
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.