Managing Digital Rights using Linear Logic.

Adam Barth, John C. Mitchell

Browse the full LICS paper archive.