On the pi-Calculus and Linear Logic.

Gianluigi Bellin Philip J. Scott

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

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
proof theoretic
natural deduction
fixed point
logical framework
logic programming
desirable properties
intuitionistic logic
inference rules
np hard
object oriented
logic programs