## TPS: A Theorem-Proving System for Classical Type Theory (1996)

### Cached

### Download Links

- [www.ececs.uc.edu]
- [www.cs.bu.edu]
- [www.cs.bu.edu]
- [www.cs.bu.edu]
- DBLP

### Other Repositories/Bibliography

by
Peter B. Andrews
,
Matthew Bishop
,
Sunil Issar
,
Dan Nesmith
,
Frank Pfenning
,
Hongwei Xi

Citations: | 16 - 0 self |