A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables

Tristan Crolard Emmanuel Polonowski

Published in: CoRR (2009)

Keyphrases

operational semantics
higher order
formal semantics
pairwise
denotational semantics
mental states
model theoretic
multi agent
data model
computational intelligence
petri net
activity diagrams