JosephDenman/enriched-lawvere-theories-as-operational-semantics

enriched lawvere theories represent operational semantics (baez, williams)

TeX