Theory Interpretation in Simple Type Theory (1993)

Cached

Download Links

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