Login / Signup
Logical Predicates in Higher-Order Mathematical Operational Semantics.
Sergey Goncharov
Alessio Santamaria
Lutz Schröder
Stelios Tsampas
Henning Urbat
Published in:
CoRR (2024)
Keyphrases
</>
operational semantics
higher order
model theoretic
lambda calculus
formal semantics
denotational semantics
term rewriting
predicate invention
mental states
data model
programming language
activity diagrams
pairwise
mobile robot
logical formulas
horn clauses
machine learning
artificial intelligence