Péter Battyányi, Karim Nour. Normalization in the simply typed λμμ'ρθε-calculus. Mathematical Structures in Computer Science, 32(8):1066-1098, September 2022. [doi]
@article{BattyanyiN22,
title = {Normalization in the simply typed λμμ'ρθε-calculus},
author = {Péter Battyányi and Karim Nour},
year = {2022},
month = {September},
doi = {10.1017/S096012952200041X},
url = {https://doi.org/10.1017/S096012952200041X},
researchr = {https://researchr.org/publication/BattyanyiN22},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {32},
number = {8},
pages = {1066-1098},
}