Login / Signup
Enriched Lawvere Theories for Operational Semantics.
John C. Baez
Christian Williams
Published in:
ACT (2019)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
denotational semantics
artificial intelligence
database systems
cooperative
declarative semantics
agent communication language