Approximation of a Wiener process local time by functionals of random walks

A sequence of compound Poisson processes constructed from sums of identically distributed random variables that weakly converges to a Wiener process is considered. Certain functionals of these processes are shown to converge in distribution to the local time of a Wiener process.