Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. - Marcelo Fiore; Sanjiv Ranchod (CoRR, 2025)