## Amy P. Felty, Dale Miller

*Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language*

CADE, 1990.

@inproceedings{CADE-1990-FeltyM, author = "Amy P. Felty and Dale Miller", booktitle = "{Proceedings of the 10th International Conference on Automated Deduction}", doi = "10.1007/3-540-52885-7_90", isbn = "3-540-52885-7", pages = "221--235", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language}", volume = 449, year = 1990, }