Andrew W. Appel, Amy P. Felty. Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. TPLP, 4(1-2):1-39, 2004.
@article{AppelF04:0,
title = {Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf},
author = {Andrew W. Appel and Amy P. Felty},
year = {2004},
tags = {Prolog},
researchr = {https://researchr.org/publication/AppelF04%3A0},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {4},
number = {1-2},
pages = {1-39},
}