@inproceedings{lvl-itrees,
  author       = {Yiming Lin and
                  Ian Kariniemi and
                  Yao Li},
  title        = {Don't Sweat Interaction Trees: Proof-Guided Local Variable Lifting
                  for Interaction Trees},
  booktitle    = {17th International Conference on Interactive Theorem Proving, {ITP}
                  2026, Lisbon, Portugal, July 26-29, 2026},
  series       = {LIPIcs},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2026},
  month        = {7},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2026.17},
  doi          = {10.4230/LIPIcs.ITP.2026.17}
}