Linear Logic and Parallelism.

Jean-Yves Girard

Published in: Mathematical Models for the Semantics of Parallelism (1986)

Keyphrases

linear logic
sequent calculus
fixed point
logic programming
cut elimination
desirable properties
proof theoretic
intuitionistic logic
parallel processing
logical framework
proof search
shared memory
artificial intelligence
probability distribution
general purpose
partial order