Maciej Bendkowski, Pierre Lescanne. Combinatorics of Explicit Substitutions. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]
@inproceedings{BendkowskiL18-0,
title = {Combinatorics of Explicit Substitutions},
author = {Maciej Bendkowski and Pierre Lescanne},
year = {2018},
doi = {10.1145/3236950.3236951},
url = {https://doi.org/10.1145/3236950.3236951},
researchr = {https://researchr.org/publication/BendkowskiL18-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018},
editor = {David Sabel and Peter Thiemann},
publisher = {ACM},
}