Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Pohler, Wolfram
Manuscripta mathematica, Tome 11 (1973), p. 371-387 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1973-01-01
EUDML-ID : urn:eudml:doc:154154 
@article{GDZPPN002217163,
     title = {Ein starker Normalisationssatz f\"ur die intuitionistische Typentheorie.},
     journal = {Manuscripta mathematica},
     volume = {11},
     year = {1973},
     pages = {371-387},
     zbl = {0256.02013},
     url = {http://dml.mathdoc.fr/item/GDZPPN002217163}
}

Pohler, Wolfram. Ein starker Normalisationssatz für die intuitionistische Typentheorie.. Manuscripta mathematica, Tome 11 (1973) pp. 371-387. http://gdmltest.u-ga.fr/item/GDZPPN002217163/