TY  - RPRT
TI  - Representing operational semantics with enriched Lawvere theories
AU  - Michael Stay
AU  - L. G. Meredith
PY  - 2017
UR  - https://arxiv.org/abs/1704.03080
ID  - 1704.03080
ER  -