Modules over monads and operational semantics.

André Hirschowitz Tom Hirschowitz Ambroise Lafont

Published in: CoRR (2020)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
data model
agent programming
declarative semantics
denotational semantics
activity diagrams
cooperative
mobile robot
software development