TY - RPRT TI - The $\aleph$-Calculus: A declarative model of reversible programming AU - Hannah Earley PY - 2022 UR - https://arxiv.org/abs/2206.05957 ID - 2206.05957 ER -