Author:
Stewart Charles,de Paiva Valeria,Alechina Natasha
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference40 articles.
1. Access control in a core calculus of dependency;Abadi;Electronic Notes in Theoretical Computer Science,2007
2. Logic in access control (tutorial notes);Abadi,2009
3. Logic in access control;Abadi;Logic in Computer Science,2003
4. Computational types from a logical perspective;Benton;Journal of Functional Programming,1998
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献