Conference
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
| Title: | Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution |
|---|---|
| Authors: | Fiore, Marcelo, Ranchod, Sanjiv |
| Source: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :196-208 Jun, 2025 |
| Relation: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798331579005 |
|---|---|
| DOI: | 10.1109/LICS65433.2025.00022 |