@misc{indiciae096d172e6030,
  title = {Stratified Type Theory},
  author = {Jonathan Chan and Stephanie Weirich},
  year = {2024},
  url = {https://arxiv.org/abs/2309.12164},
  note = {Source identifier: 2309.12164}
}