On a monadic semantics for freshness.

Mark R. Shinwell Andrew M. Pitts

Published in: Theor. Comput. Sci. (2005)

Keyphrases

deductive databases
model theoretic
formal semantics
logic programming
data sets
fault tolerance
databases
neural network
special case
response time
user experience
default reasoning
specification language
operational semantics
query containment