Login / Signup
Logical Predicates in Higher-Order Mathematical Operational Semantics.
Sergey Goncharov
Alessio Santamaria
Lutz Schröder
Stelios Tsampas
Henning Urbat
Published in:
FoSSaCS (2) (2024)
Keyphrases
</>
operational semantics
higher order
model theoretic
lambda calculus
formal semantics
denotational semantics
predicate invention
term rewriting
mental states
activity diagrams
pairwise
agent programming
logical formulas
intelligent agents
relational databases
artificial intelligence
databases