A Term Calculus for Intuitionistic Linear Logic.

P. N. Benton Gavin M. Bierman Valeria de Paiva Martin Hyland

Published in: TLCA (1993)

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
proof theoretic
fixed point
natural deduction
intuitionistic logic
logic programming
logical framework
desirable properties
wide class
inference rules
machine learning
first order logic
computational complexity
high level