@inbook{chen-2020-fractional, title={Fractional Types: Expressive and Safe Space Management for Ancilla Bits}, ISBN={9783030524821}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-52482-1_10}, DOI={10.1007/978-3-030-52482-1_10}, booktitle={Reversible Computation}, publisher={Springer International Publishing}, author={Chen, Chao-Hong and Choudhury, Vikraman and Carette, Jacques and Sabry, Amr}, year={2020}, pages={169–186} }