Joëlle Despeyroux, Pierre Leleu. Metatheoretic Results for a Modal lambda-Calculus. Journal of Functional and Logic Programming, 2000(1), 2000.
@article{DespeyrouxL00, title = {Metatheoretic Results for a Modal lambda-Calculus}, author = {Joëlle Despeyroux and Pierre Leleu}, year = {2000}, researchr = {https://researchr.org/publication/DespeyrouxL00}, cites = {0}, citedby = {0}, journal = {Journal of Functional and Logic Programming}, volume = {2000}, number = {1}, }