Operational semantics
Following Gardner's name-free presentation of Milner's action calculi,
we would expect to be able to give a graphical operational semantics
to a language, where:
- Objects are vectors of types.
- Morphisms are graphs.
- Two-cells are reductions between graphs.
For example: