Login / Signup
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