Casper Bach Poulsen. Renamingless Capture-Avoiding Substitution for Definitional Interpreters. In Ralf Lämmel, Peter D. Mosses, Friedrich Steimann, editors, Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. Volume 109 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{Poulsen23,
title = {Renamingless Capture-Avoiding Substitution for Definitional Interpreters},
author = {Casper Bach Poulsen},
year = {2023},
doi = {10.4230/OASIcs.EVCS.2023.2},
url = {https://doi.org/10.4230/OASIcs.EVCS.2023.2},
researchr = {https://researchr.org/publication/Poulsen23},
cites = {0},
citedby = {0},
booktitle = {Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands},
editor = {Ralf Lämmel and Peter D. Mosses and Friedrich Steimann},
volume = {109},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-267-9},
}