Representing operational semantics with enriched Lawvere theories.

Michael Stay L. G. Meredith

Published in: CoRR (2017)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
declarative semantics
denotational semantics
activity diagrams
deductive databases
machine learning
artificial intelligence
cooperative
agent programming