%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