A Logic for Algebraic Effects.

Gordon D. Plotkin Matija Pretnar

Published in: LICS (2008)

Keyphrases

logic programming
image processing
algebraic structure
databases
social networks
multi valued
classical logic
mathematical theory
proof theory
computer algebra
logic synthesis
data mining
multi agent systems
logical framework
dynamic logic