Login / Signup

Enriched Lawvere Theories for Operational Semantics.

John C. BaezChristian 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