A Linear Logic Calculus Objects.

Michele Bugliesi Giorgio Delzanno Luigi Liquori Maurizio Martelli

Published in: JICSLP (1996)

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
proof theoretic
d objects
expert systems
artificial intelligence
image segmentation
computational complexity
logic programming
fixed point
desirable properties
logical framework