ML Anthology

Andrews, Peter B.

2 publications

AAAI 2005 Proving Theorems of Type Theory Automatically with TPS Peter B. Andrews
IJCAI 1977 Theorem Proving in Type Theory Peter B. Andrews, Eve Longini Cohen