TY - RPRT TI - A Small-Step Operational Semantics for GP 2 AU - Brian Courtehoute AU - Detlef Plump PY - 2021 DO - 10.4204/eptcs.350.6 UR - https://arxiv.org/abs/2112.11077 ID - 2112.11077 ER -