Classical type theory (0)

by P B Andrews
Venue:In Handbook of Automated Reasoning