Object calculi in linear logic.

Michele Bugliesi Giorgio Delzanno Luigi Liquori Maurizio Martelli

Published in: J. Log. Comput. (2000)

Keyphrases

linear logic
fixed point
d objects
spatial relations
proof theoretic
logical framework
logic programming
software engineering
inference rules
sequent calculus
cut elimination
intuitionistic logic