Login / Signup

Towards a theory of mathematical operational semantics.

John Power
Published in: CMCS (2003)
Keyphrases
  • operational semantics
  • model theoretic
  • speech acts
  • formal semantics
  • mathematical theory
  • database
  • computer algebra
  • denotational semantics
  • mental states