@inbook{chan-2025-stratified, title={Stratified Type Theory}, ISBN={9783031911187}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-91118-7_10}, DOI={10.1007/978-3-031-91118-7_10}, booktitle={Programming Languages and Systems}, publisher={Springer Nature Switzerland}, author={Chan, Jonathan and Weirich, Stephanie}, year={2025}, pages={236–263} }