The seven virtues of simple type theory (2008)

by William M Farmer
Venue:Journal of Applied Logic