Fiore, M., & Ranchod, S. (2025). Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on, LICS, 196. https://doi.org/10.1109/LICS65433.2025.00022
Παραπομπή σε μορφή Chicago (17η εκδ.)Fiore, Marcelo, και Sanjiv Ranchod. "Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution." 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on, LICS 2025: 196. https://doi.org/10.1109/LICS65433.2025.00022.
Παραπομπή σε μορφή MLA (9th εκδ.)Fiore, Marcelo, και Sanjiv Ranchod. "Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution." 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on, LICS, 2025, p. 196, https://doi.org/10.1109/LICS65433.2025.00022.