@inbook{wood-2022-a, title={A Framework for Substructural Type Systems}, ISBN={9783030993368}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-99336-8_14}, DOI={10.1007/978-3-030-99336-8_14}, booktitle={Programming Languages and Systems}, publisher={Springer International Publishing}, author={Wood, James and Atkey, Robert}, year={2022}, pages={376–402} }