Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi. TPS: A Theorem-Proving System for Classical Type Theory. Journal of Automated Reasoning, 16(3):321-353, 1996.
@article{AndrewsBINPX96,
title = {TPS: A Theorem-Proving System for Classical Type Theory},
author = {Peter B. Andrews and Matthew Bishop and Sunil Issar and Dan Nesmith and Frank Pfenning and Hongwei Xi},
year = {1996},
tags = {type system, type theory},
researchr = {https://researchr.org/publication/AndrewsBINPX96},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {16},
number = {3},
pages = {321-353},
}