TY  - RPRT
TI  - Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
AU  - David M Kahn
AU  - Jan Hoffmann
AU  - Runming Li
PY  - 2025
UR  - https://arxiv.org/abs/2508.15157
ID  - 2508.15157
ER  -