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  -