Theory Interpretation in Simple Type Theory (1994)

by W M Farmer
Venue:In Higher-Order Algebra, Logic, and Term Rewriting, volume 816 of LNCS