Typed operational semantics for higher-order subtyping.

Adriana B. Compagnoni Healfdene Goguen

Published in: Inf. Comput. (2003)

Keyphrases

operational semantics
higher order
lambda calculus
formal semantics
pairwise
model theoretic
markov random field
mental states
denotational semantics
data model
declarative semantics
database systems
database
speech acts
activity diagrams
multi agent
e learning