Operational semantics
In each case, the operational semantics can be given by taking the free premonoidal pre-2-category given by some generators together with some primitive reductions, for example:
(where
x
+
y
=
z
)
