Dynamic scoping in -calculus