Venue. RC Reversible Computation · Conference · Springer 2024 Compositional Reversible Computation carette-2024-compositionalRC · 2024 DOI · arXiv 2020 Fractional Types: Expressive and Safe Space Management for Ancilla Bits chen-2020-fractionalRC · 2020 DOI · arXiv