TPS: A Theorem-Proving System for Classical Type Theory (1996)

by Peter B. Andrews , Matthew Bishop , Sunil Issar , Dan Nesmith , Frank Pfenning , Hongwei Xi
Citations:16 - 0 self