Kristina Sojakova, Florian Rabe. Translating a Dependently-Typed Logic to First-Order Logic. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 326-341, Springer, 2008. [doi]
Abstract is missing.