Conference
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
| Τίτλος: | Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution |
|---|---|
| Συγγραφείς: | Fiore, Marcelo, Ranchod, Sanjiv |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798331579005 |
|---|---|
| DOI: | 10.1109/LICS65433.2025.00022 |