Bounded Linear Logic, Revisited.

Ugo Dal Lago Martin Hofmann

Published in: TLCA (2009)

Keyphrases

linear logic
sequent calculus
cut elimination
fixed point
proof theoretic
logic programming
desirable properties
logical framework
intuitionistic logic
high level
object oriented
multi view
proof search