Light Linear Logic.

Jean-Yves Girard

Published in: Inf. Comput. (1998)

Keyphrases

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