Towards a Higher-Order Mathematical Operational Semantics.

Sergey Goncharov Stefan Milius Lutz Schröder Stelios Tsampas Henning Urbat

Published in: CoRR (2022)

Keyphrases

operational semantics
higher order
formal semantics
high order
data model
model theoretic
mental states
pairwise
artificial intelligence
markov random field
declarative semantics
activity diagrams
machine learning
database systems
agent programming