  We prove a uniform functional law of the logarithm for the local empirical
process. To accomplish this we combine techniques from classical and abstract
empirical process theory, Gaussian distributional approximation and probability
on Banach spaces. The body of techniques we develop should prove useful to the
study of the strong consistency of d-variate kernel-type nonparametric function
estimators.
