Geodesic
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Manuscripta mathematica, Tome 8 (1973), pp. 371-387.

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

@article{MM2_1973__8_154154,
     author = {Wolfram Pohler},
     title = {Ein starker {Normalisationssatz} f\"ur die intuitionistische {Typentheorie.}},
     journal = {Manuscripta mathematica},
     pages = {371--387},
     publisher = {mathdoc},
     volume = {8},
     year = {1973},
     zbl = {0256.02013},
     url = {http://geodesic.mathdoc.fr/item/MM2_1973__8_154154/}
}
TY  - JOUR
AU  - Wolfram Pohler
TI  - Ein starker Normalisationssatz für die intuitionistische Typentheorie.
JO  - Manuscripta mathematica
PY  - 1973
SP  - 371
EP  - 387
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM2_1973__8_154154/
ID  - MM2_1973__8_154154
ER  - 
%0 Journal Article
%A Wolfram Pohler
%T Ein starker Normalisationssatz für die intuitionistische Typentheorie.
%J Manuscripta mathematica
%D 1973
%P 371-387
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1973__8_154154/
%F MM2_1973__8_154154
Wolfram Pohler. Ein starker Normalisationssatz für die intuitionistische Typentheorie.. Manuscripta mathematica, Tome 8 (1973), pp. 371-387. http://geodesic.mathdoc.fr/item/MM2_1973__8_154154/