Higher-Order Mathematical Operational Semantics (Early Ideas).

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

Published in: CALCO (2023)

Keyphrases

operational semantics
higher order
mathematical knowledge
formal semantics
mathematical theory
model theoretic
markov random field
pairwise
mental states
data model
declarative semantics
artificial intelligence
theorem prover
activity diagrams
denotational semantics
agent programming
software engineering