FIORE, Marcelo and RANCHOD, Sanjiv, 2025. Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. In: . 23 June 2025.
Elsevier - Harvard (with titles)Fiore, M., Ranchod, S., 2025. Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution, in: . https://doi.org/10.1109/LICS65433.2025.00022
American Psychological Association 7th editionFiore, M., & Ranchod, S. (2025, June 23). Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. https://doi.org/10.1109/LICS65433.2025.00022
Springer - Basic (author-date)Fiore M, Ranchod S (2025) Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
Juristische Zitierweise (Stüber) (Deutsch)Fiore, Marcelo/ Ranchod, Sanjiv, Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution, 2025, .