Zachary Snow. Realizing the Dependently Typed Lambda Calculus. In Manuel V. Hermenegildo, Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. Volume 7 of LIPIcs, pages 294-299, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]
Abstract is missing.