Realizability Proof for Normalization of Full Differential Linear Logic.

Stéphane Gimenez

Published in: TLCA (2011)

Keyphrases

linear logic
proof search
cut elimination
proof theoretic
sequent calculus
fixed point
logic programming
logical framework
intuitionistic logic
desirable properties
computational complexity
image segmentation
knowledge representation