1. Mart'in Abadi . 2006. Access Control in a Core Calculus of Dependency. In 11textsuperscriptth ACM SIGPLAN Int'l Conf. on Functional Programming . ACM , New York, NY, USA . Mart'in Abadi. 2006. Access Control in a Core Calculus of Dependency. In 11textsuperscriptth ACM SIGPLAN Int'l Conf. on Functional Programming. ACM, New York, NY, USA.
2. Mart'in Abadi , Anindya Banerjee , Nevin Heintze , and Jon G. Riecke . 1999. A Core Calculus of Dependency . In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( San Antonio, Texas, USA) (POPL '99). ACM. Mart'in Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. 1999. A Core Calculus of Dependency. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Antonio, Texas, USA) (POPL '99). ACM.
3. A calculus for access control in distributed systems
4. Owen Arden and Andrew C . Myers . 2016 . A Calculus for Flow-Limited Authorization. In 29textsuperscriptth IEEE Symp. on Computer Security Foundations (CSF) . 135--147. http://www.cs.cornell.edu/andru/papers/flac Owen Arden and Andrew C. Myers. 2016. A Calculus for Flow-Limited Authorization. In 29textsuperscriptth IEEE Symp. on Computer Security Foundations (CSF). 135--147. http://www.cs.cornell.edu/andru/papers/flac
5. Henk (Hendrik) Barendregt . 1991 . Self-Interpretations in lambda Calculus. J . Funct. Program. , Vol. 1 (01 1991), 229--233. Henk (Hendrik) Barendregt. 1991. Self-Interpretations in lambda Calculus. J. Funct. Program. , Vol. 1 (01 1991), 229--233.