TY  - RPRT
TI  - The Reversible Intermediate Language L4, its Type System, and its Bidirectional Small-Step Semantics
AU  - Torben Ægidius Mogensen
PY  - 2026
UR  - https://arxiv.org/abs/2610.31201
ID  - 2610.31201
ER  -