DMCA

Theory Interpretation in Simple Type Theory (1993)

by William M. Farmer
Venue:HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, VOLUME 816 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:37 - 17 self