Core Calculus of Dependency