@misc{indiciae36d84604db9f,
  title = {Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment},
  author = {David M Kahn and Jan Hoffmann and Runming Li},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15157},
  note = {Source identifier: 2508.15157}
}