Structural Operational Semantics for Heterogeneously Typed Coalgebras.

Harald König Uwe Wolter Tim Kräuter

Published in: CALCO (2023)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
declarative semantics
data model
denotational semantics
artificial intelligence
activity diagrams
programming language
deductive databases
speech acts