@inproceedings{fiore-2025-substructural, title={Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution}, url={http://dx.doi.org/10.1109/lics65433.2025.00022}, DOI={10.1109/lics65433.2025.00022}, booktitle={2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher={IEEE}, author={Fiore, Marcelo and Ranchod, Sanjiv}, year={2025}, month=June, pages={196–208} }