TY  - RPRT
TI  - Polymorphic lemmas and definitions in Lambda Prolog and Twelf
AU  - Andrew W. Appel
AU  - Amy P. Felty
PY  - 2004
UR  - https://arxiv.org/abs/cs/0403010
ID  - cs/0403010
ER  -