Multiplicative Linear Logic for Resource Transformation Nets.

Published in: LFCS (1994)

Keyphrases

linear logic
fixed point
desirable properties
proof theoretic
resource allocation
logical framework
logic programming
proof search
cut elimination
sequent calculus
intuitionistic logic