arXiv 2004-03-09 EN Polymorphic lemmas and definitions in Lambda Prolog and Twelf Appel, Andrew W. · Felty, Amy P.
