Category theory for operational semantics.

Marina Lenisa John Power Hiroshi Watanabe

Published in: Theor. Comput. Sci. (2004)

Keyphrases

operational semantics
model theoretic
formal semantics
mental states
speech acts
data model
denotational semantics
databases
information retrieval
information extraction
knowledge base
software development
declarative semantics