Causal Dependencies in Multiplicative Linear Logic with MIX.

Published in: Math. Struct. Comput. Sci. (1995)

Keyphrases

linear logic
causal dependencies
fixed point
sequent calculus
logic programming
proof theoretic
cut elimination
logical framework
intuitionistic logic
desirable properties
data flow
concurrent actions
inference rules
proof search
data model
web services
dynamical systems
general purpose
pairwise