The seven virtues of simple type theory (0)

by W M Farmer
Venue:Journal of Applied Logic