Theory Interpretation in Simple Type Theory (1994)

by W M Farmer
Venue:Higher-Order Algebra, Logic, and Term Rewriting, volume 816 of Lecture Notes in Computer Science