*Result*: Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
Title:
Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
Authors:
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