Access Control in a Core Calculus of Dependency

Electr. Notes Theor. Comput. Sci., 172(2007), pp. 5-31

Abstract

Research Areas