Results 1 -
1 of
1
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
| Venue: | Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, volume 780 of Lecture Notes in Computer Science |
