Access Control in a Core Calculus of Dependency

Martín Abadi. Access Control in a Core Calculus of Dependency. Electronic Notes in Theoretical Computer Science, 172:5-31, 2007. [doi]

Abstract

Abstract is missing.