Login / Signup

A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).

Xuejing HuangBruno C. d. S. Oliveira
Published in: Dagstuhl Artifacts Ser. (2020)
Keyphrases
  • operational semantics
  • term rewriting
  • data model
  • formal semantics
  • model theoretic
  • denotational semantics
  • type checking
  • e learning
  • case study
  • mental states
  • declarative semantics
  • agent programming
  • situation calculus