@misc{indiciaedf0a3810a243,
  title = {The Reversible Intermediate Language L4, its Type System, and its Bidirectional Small-Step Semantics},
  author = {Torben Ægidius Mogensen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.31201},
  note = {Source identifier: 2610.31201}
}