Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen. Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. Higher-Order and Symbolic Computation, 16(3):253-285, 2003. [doi]
@article{GortzRS03, title = {Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus}, author = {Inge Li Gørtz and Signe Reuss and Morten Heine Sørensen}, year = {2003}, doi = {10.1023/A:1025693307470}, url = {http://dx.doi.org/10.1023/A:1025693307470}, tags = {translation}, researchr = {https://researchr.org/publication/GortzRS03}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {16}, number = {3}, pages = {253-285}, }