Managing Digital Rights using Linear Logic
Full text
Click to download.
Citation
In Proc. of the 21st Annual IEEE Symposium on Logic in Computer Science. 2006.
Authors
Adam Barth
John C. Mitchell
Back to publications
Back to previous page
