The seven virtues of simple type theory / higher-order logic [pdf]imps.mcmaster.ca3 pointsfanf210 months ago