Maciej Bendkowski, Pierre Lescanne
Combinatorics of Explicit Substitutions
PPDP, 2018.
@inproceedings{PPDP-2018-BendkowskiL, author = "Maciej Bendkowski and Pierre Lescanne", booktitle = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}", doi = "10.1145/3236950.3236951", pages = "12", publisher = "{ACM}", title = "{Combinatorics of Explicit Substitutions}", year = 2018, }