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]
@inproceedings{Snow10, title = {Realizing the Dependently Typed Lambda Calculus}, author = {Zachary Snow}, year = {2010}, doi = {10.4230/LIPIcs.ICLP.2010.294}, url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.294}, researchr = {https://researchr.org/publication/Snow10}, cites = {0}, citedby = {0}, pages = {294-299}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK}, editor = {Manuel V. Hermenegildo and Torsten Schaub}, volume = {7}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-17-0}, }