TY  - RPRT
TI  - Semantics for a Turing-complete Reversible Programming Language with Inductive Types
AU  - Kostia Chardonnet
AU  - Louis Lemonnier
AU  - Benoît Valiron
PY  - 2024
DO  - 10.4230/lipics.fscd.2024.19
UR  - https://arxiv.org/abs/2309.12151
ID  - 2309.12151
ER  -