Full Intuitionistic Linear Logic (extended abstract).

Martin Hyland Valeria de Paiva

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

linear logic
extended abstract
logic programming
proof theoretic
desirable properties
intuitionistic logic
fixed point
logical framework
cut elimination
sequent calculus
artificial intelligence
image segmentation
pairwise
inference rules