A Language For Multiplicative-additive Linear Logic.

J. Robin B. Cockett Craig A. Pastro

Published in: CTCS (2004)

Keyphrases

linear logic
intuitionistic logic
fixed point
desirable properties
logical framework
programming language
cut elimination
logic programming
sequent calculus
proof theoretic
natural language
artificial intelligence
dynamic programming
inference rules
constraint logic programming
natural deduction