tps: A theorem proving system for classical type theory (1996)
by
Peter B. Andrews
,
Matthew Bishop
,
Sunil Issar
,
Dan Nesmith
,
Frank Pfenning
,
Hongwei Xi
| Venue: | Journal of Automated Reasoning |
| Citations: | 64 - 5 self |
Document Versions
| tps: A theorem proving system for classical type theory –Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi — 1996 — Journal of Automated Reasoning |
| TPS: A Theorem Proving System for Classical Type Theory –Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi — 1994 |
