Login / Signup
Towards a Higher-Order Mathematical Operational Semantics.
Sergey Goncharov
Stefan Milius
Lutz Schröder
Stelios Tsampas
Henning Urbat
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
operational semantics
higher order
formal semantics
high order
data model
pairwise
markov random field
mental states
model theoretic
activity diagrams
denotational semantics
declarative semantics
intelligent agents
first order logic