@misc{indiciae5df7e5c1e2ef,
  title = {A Categorical Normalization Proof for the Modal Lambda-Calculus},
  author = {Jason Z. S. Hu and Brigitte Pientka},
  year = {2023},
  doi = {10.46298/entics.10360},
  url = {https://arxiv.org/abs/2211.12318},
  note = {Source identifier: 2211.12318}
}