Person. Sanjiv Ranchod University of Cambridge Papers Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution fiore-2025-substructuralLICS · 2025 DOI · arXiv