Managing Digital Rights using Linear Logic.

Adam Barth John C. Mitchell

Published in: LICS (2006)

Keyphrases

linear logic
digital rights
copyright infringement
digital rights management
fixed point
logic programming
logical framework
desirable properties
cut elimination
proof theoretic
sequent calculus
intuitionistic logic
internet service providers
logic programs