Linear Logic and Lazy Computation.

Jean-Yves Girard Yves Lafont

Published in: TAPSOFT, Vol.2 (1987)

Keyphrases

linear logic
sequent calculus
proof theoretic
fixed point
proof search
desirable properties
logical framework
cut elimination
intuitionistic logic
logic programming
artificial intelligence
decision making
general purpose