@misc{indiciae5b8a9a27b098,
  title = {Universal Proof Theory, TACL 2022 Lecture Notes},
  author = {Rosalie Iemhoff and Raheleh Jalali},
  year = {2025},
  url = {https://arxiv.org/abs/2305.10888},
  note = {Source identifier: 2305.10888}
}