## Theory Interpretation in Simple Type Theory (1993)

### Cached

### Download Links

- [imps.mcmaster.ca]
- [imps.mcmaster.ca]
- [imps.mcmaster.ca]
- DBLP

### Other Repositories/Bibliography

by
William M. Farmer

Venue: | HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, VOLUME 816 OF LECTURE NOTES IN COMPUTER SCIENCE |

Citations: | 35 - 16 self |