Functional central limit theorem for the interface of the multitype contact process

We study the interface of the multitype contact process on $\mathbb{Z}$. In this process, each site of $\mathbb{Z}$ is either empty or occupied by an individual of one of two species. Each individual dies with rate 1 and attempts to give birth with rate $2R\lambda$; the position for the possible new individual is chosen uniformly at random within distance $R$ of the parent, and the birth is suppressed if this position is already occupied. We consider the process started from the configuration in which all sites to the left of the origin are occupied by one of the species and all sites to the right of the origin by the other species, and study the evolution of the region of interface between the two species. We prove that, under diffusive scaling, the position of the interface converges to Brownian motion.