General Structural Operational Semantics through Categorical Logic.

Published in: LICS (2008)

Keyphrases

operational semantics
model theoretic
denotational semantics
machine learning
formal semantics
declarative semantics
data model
mental states
agent programming
database
database systems
query language
term rewriting