## TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory (1994)

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

Venue: | Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, volume 780 of Lecture Notes in Computer Science |

Citations: | 1 - 1 self |