Completeness of indexed ∈-calculus. - Mints, G. E.; Sarenac, Darko (Archive for Mathematical Logic, 2003)