@article{DEGROOTE2002441,
    Abstract = {We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simulation.},
    Author = {{de Groote}, Philippe},
    File = {On the Strong Normalisation of Natural Deduction with Permutation-Conversions - rta99 - a - r.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Number = {2},
    Pages = {441 - 464},
    Title = {On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540102931470},
    Volume = {178},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540102931470},
    bdsk-url-2 = {https://doi.org/10.1006/inco.2002.3147},
    date-added = {2020-09-14 10:09:08 +0200},
    date-modified = {2020-09-14 10:09:08 +0200},
    file-2 = {On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions - 1-s2.0-S0890540102931470-main - a - r.pdf},
    doi = {10.1006/inco.2002.3147}
}

@article{DEGROOTE2002441, Abstract = {We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simulation.}, Author = {{de Groote}, Philippe}, File = {On the Strong Normalisation of Natural Deduction with Permutation-Conversions - rta99 - a - r.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Number = {2}, Pages = {441 - 464}, Title = {On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540102931470}, Volume = {178}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540102931470}, bdsk-url-2 = {https://doi.org/10.1006/inco.2002.3147}, date-added = {2020-09-14 10:09:08 +0200}, date-modified = {2020-09-14 10:09:08 +0200}, file-2 = {On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions - 1-s2.0-S0890540102931470-main - a - r.pdf}, doi = {10.1006/inco.2002.3147} }