Formalized Metatheory with Terms Represented by an Indexed Family of Types.

Robin Adams Formalized Metatheory with Terms Represented by an Indexed Family of Types. 1-16 2004 conf/types/2004 TYPES http://dx.doi.org/10.1007/11617990_1 db/conf/types/types2004.html#Adams04