Modified Realizability Interpretation of Classical Linear Logic.

Published in: LICS (2007)

Keyphrases

linear logic
fixed point
logic programming
cut elimination
intuitionistic logic
logical framework
sequent calculus
proof theoretic
high level
desirable properties
proof search
artificial intelligence
image segmentation
database systems
search space