Maria C. F. Ferreira, Delia Kesner, Laurence Puel. lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. Appl. Algebra Eng. Commun. Comput., 9(4):333-371, 1999. [doi]
@article{FerreiraKP99,
title = {lambda-Calculi with Explicit Substitutions Preserving Strong Normalization},
author = {Maria C. F. Ferreira and Delia Kesner and Laurence Puel},
year = {1999},
url = {http://link.springer.de/link/service/journals/00200/bibs/9009004/90090333.htm},
tags = {C++},
researchr = {https://researchr.org/publication/FerreiraKP99},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {9},
number = {4},
pages = {333-371},
}